Formal Abstractions for Attested Execution Secure Processors
Channel: IACR
Date: 12/09/2017

Paper by Rafael Pass and Elaine Shi and Florian Tramèr presented at Eurocrypt 2017. See https://www.iacr.org/cryptodb/data/paper.php?pubkey=28033