International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Paper: Formal Abstractions for Attested Execution Secure Processors

Authors:
Rafael Pass
Elaine Shi
Florian Tramèr
Download:
DOI: 10.1007/978-3-319-56620-7_10
Search ePrint
Search Google
Conference: EUROCRYPT 2017
Video from EUROCRYPT 2017
Video provided under Creative Commons / CC BY 3.0
BibTeX
@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
}