überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor

Article Details
Title:	überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor
Article URLs:	https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/vasudevan
Alternative Article URLs:
Authors:	Amit Vasudevan	Carnegie Mellon University, CyLab
	Sagar Chaki	Carnegie Mellon University, SEI
	Petros Maniatis	Google Inc.
	Limin Jia	Carnegie Mellon University, CS Carnegie Mellon University, ECE
	Anupam Datta	Carnegie Mellon University, CS Carnegie Mellon University, ECE
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1018061
DBLP Key:	conf/uss/VasudevanCMJD16
Author Comments:

USENIX Security Symposium, USENIX Security 2016