Login / Signup
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing.
Dayeol Lee
Kevin Cheang
Alexander Thomas
Catherine Lu
Pranav Gaddamadugu
Anjo Vahldiek-Oberwagner
Mona Vij
Dawn Song
Sanjit A. Seshia
Krste Asanovic
Published in:
CoRR (2022)
Keyphrases
</>
lightweight
cost efficient
cost effective
memory usage
data sets
neural network
search engine
case study
computationally efficient
information sharing
highly efficient
formal methods
computing power
provably secure
secure information sharing