Formal Abstractions for Attested Execution Secure Processors
Sealed-Glass Proofs: Using Transparent Enclaves to Prove and Sell Knowledge