Login / Signup
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof.
Shweta Shinde
Shengyi Wang
Pinghai Yuan
Aquinas Hobor
Abhik Roychoudhury
Prateek Saxena
Published in:
USENIX Security Symposium (2020)
Keyphrases
</>
theorem proving
data sets
nuclear power plant
theorem prover
mathematical proofs
desktop search
operating system
databases
hidden markov models
computer systems
case study
decision making
artificial intelligence
safety critical
machine learning
complete axiomatization
real time