Formal Abstractions for Attested Execution Secure Processors

No ratings

Presented at EuroCrypt 2017 by

Elaine Shi

Rafael Pass

Florian Tramèr

N/A