Login / Signup
A Formal Foundation for Secure Remote Execution of Enclaves.
Pramod Subramanyan
Rohit Sinha
Ilia A. Lebedev
Srinivas Devadas
Sanjit A. Seshia
Published in:
IACR Cryptol. ePrint Arch. (2017)
Keyphrases
</>
real time
execution model
lightweight
data flow
security requirements
standard model
security analysis
remote server
concurrent execution
group communication
tcp ip
key distribution
active databases
security issues
query optimization
sensor networks
case study
learning algorithm
genetic algorithm