Formal Abstractions for Attested Execution Secure Processors.

Rafael Pass, Elaine Shi, Florian Tramr

Browse the full EuroCrypt paper archive.