A Formal Foundation for Secure Remote Execution of Enclaves.

Pramod Subramanyan Rohit Sinha Ilia A. Lebedev Srinivas Devadas Sanjit A. Seshia

Published in: CCS (2017)

Keyphrases

execution model
remote server
security requirements
dynamic environments
user authentication
authentication scheme
learning algorithm
security mechanisms
security analysis
security protocols
digital signature
security management
data encryption
key exchange protocol
covert channel