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

Presented at USENIX 2016 by

Anupam Datta

Limin Jia

Amit Vasudevan

Petros Maniatis

Sagar Chaki