Moat: Verifying Confidentiality of Enclave Programs.

Rohit Sinha Sriram K. Rajamani Sanjit A. Seshia Kapil Vaswani

Published in: CCS (2015)

Keyphrases

access control
model checking
neural network
data sets
computer vision
information systems
hidden markov models
information security