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

By Amit Vasudevan, Sagar Chaki, Petros Maniatis, Limin Jia, Anupam Datta. 2016

40 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Andrew Ferraiuolo
2. Andrew Baumann
3. Bryan Parno
4. Chris Hawblitzel
5. Eli Ben-Sasson
6. Srinath T. V. Setty
7. Michael Walfish
8. Jean-Pierre Hubaux

Citations in the corpus

• Komodo: Using verification to disentangle secure-enclave hardware from software (2017, methodology): “Our verification methodology builds on the tools and techniques developed in Verve [89], Ironclad [38] and Iron-Fleet [39], however the most closely related verified systems are the kernels seL4 [49], CertiKOS [34, 35] and überSpark [84].”