Cryptology ePrint Archive: Report 2016/1027

Available versions in chronological order


Formal Abstractions for Attested Execution Secure Processors
Rafael Pass and Elaine Shi and Florian Tramer

Formal Abstractions for Attested Execution Secure Processors
Rafael Pass and Elaine Shi and Florian Tramer
Original publication (with major differences): IACR-EUROCRYPT-2017


[ Cryptology ePrint archive ]