Login / Signup
Towards Formal Verification of State Continuity for Enclave Programs.
Mohit Kumar Jangid
Guoxing Chen
Yinqian Zhang
Zhiqiang Lin
Published in:
USENIX Security Symposium (2021)
Keyphrases
</>
formal verification
model checking
program slicing
automated verification
finite state machines
data sets
hidden markov models
model checker
artificial intelligence
open source
temporal logic
symbolic model checking