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

Title{├╝berSpark}: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor
Publication TypeConference Paper
Year of Publication2016
AuthorsVasudevan A, Chaki S, Maniatis P, Jia L, Datta A
Conference Name25th USENIX Security Symposium (USENIX Security 16)
Date Published08/2016
PublisherUSENIX Association
Conference LocationAustin, TX
ISBN Number978-1-931971-32-4
URLhttps://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/vasudevan