International Association
for Cryptologic Research

@inproceedings{eurocrypt-2017-28033,
  title={Formal Abstractions for Attested Execution Secure Processors},
  booktitle={EUROCRYPT (1)},
  publisher={Springer},
  pages={260-289},
  doi={10.1007/978-3-319-56620-7_10},
  author={Rafael Pass and Elaine Shi and Florian Tramèr},
  year=2017
}