C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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