Formal abstractions for attested execution secure processors

Keyphrases

• Secure Processors 100%
• Formal Abstractions 100%
• Two-party Computation 33%
• Composable 25%
• Obfuscation 16%
• Multi-party Computation 16%
• Cryptographic 8%
• Expressive Power 8%
• Computational Tasks 8%
• Common Belief 8%
• Academic Purpose 8%
• De Facto Standard 8%
• Stateful 8%
• Commercial Purpose 8%
• Hardware Token 8%

Computer Science

• Obfuscation 100%
• Expressive Power 50%
• De Facto Standard 50%
• Hardware Token 50%
• Commercial Purpose 50%