Login / Signup
BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves.
Shweta Shinde
Shengyi Wang
Pinghai Yuan
Aquinas Hobor
Abhik Roychoudhury
Prateek Saxena
Published in:
CoRR (2018)
Keyphrases
</>
operating system
data mining
real time
logical rules
desktop search
special case
information systems
learning algorithm
reinforcement learning
multi agent
artificial intelligence
theorem proving
linear logic
automated theorem proving
neural network
database
mathematical proofs
geometry theorem proving