Hanna Lachnitt

Hanna Lachnitt

PhD student working on Automated Reasoning

Relational Models of Microarchitectures for Formal Security Analyses

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

Published in arXiv:2112.10511, 2021

Recommended citation: Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, and Caroline Trippel. “Relational Models of Microarchitectures for Formal Security Analyses.” arXiv:2112.10511, 2021. https://arxiv.org/abs/2112.10511

arXiv

BibTeX
@article{DBLP:journals/corr/abs-2112-10511,
  author       = {Nicholas Mosier and
                  Hanna Lachnitt and
                  Hamed Nemati and
                  Caroline Trippel},
  title        = {Relational Models of Microarchitectures for Formal Security Analyses},
  journal      = {CoRR},
  volume       = {abs/2112.10511},
  year         = {2021},
  url          = {https://arxiv.org/abs/2112.10511},
  eprinttype    = {arXiv},
  eprint       = {2112.10511},
  timestamp    = {Tue, 04 Jan 2022 15:59:27 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2112-10511.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}