Hanna Lachnitt

Hanna Lachnitt

PhD student working on Automated Reasoning

Axiomatic hardware-software contracts for security

Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, and Caroline Trippel

Published in ISCA '22: The 49th Annual International Symposium on Computer Architecture, New York, New York, USA, June 18 - 22, 2022, 2022

Recommended citation: Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, and Caroline Trippel. “Axiomatic hardware-software contracts for security.” ISCA '22: The 49th Annual International Symposium on Computer Architecture, New York, New York, USA, June 18 - 22, 2022, 2022. https://doi.org/10.1145/3470496.3527412

DOI

BibTeX
@inproceedings{DBLP:conf/isca/MosierLNT22,
  author       = {Nicholas Mosier and
                  Hanna Lachnitt and
                  Hamed Nemati and
                  Caroline Trippel},
  editor       = {Valentina Salapura and
                  Mohamed Zahran and
                  Fred Chong and
                  Lingjia Tang},
  title        = {Axiomatic hardware-software contracts for security},
  booktitle    = {{ISCA} '22: The 49th Annual International Symposium on Computer Architecture,
                  New York, New York, USA, June 18 - 22, 2022},
  pages        = {72--86},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3470496.3527412},
  doi          = {10.1145/3470496.3527412},
  timestamp    = {Sat, 30 Sep 2023 09:49:51 +0200},
  biburl       = {https://dblp.org/rec/conf/isca/MosierLNT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}