Login / Signup
überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor.
Amit Vasudevan
Sagar Chaki
Petros Maniatis
Limin Jia
Anupam Datta
Published in:
USENIX Security Symposium (2016)
Keyphrases
</>
security analysis
public key
security requirements
smart card
high security
image encryption
operating system
security properties
mutual authentication
databases
encryption scheme
distributed systems
data objects
authentication protocol