Amit Vasudevan, Sagar Chaki, Petros Maniatis, Limin Jia, Anupam Datta. überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor. In Thorsten Holz, Stefan Savage, editors, 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016. pages 87-104, USENIX Association, 2016. [doi]
Abstract is missing.