Komodo
Authors:
Open Access
- 14 October 2017
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 287-305
Abstract
No abstract availableThis publication has 41 references indexed in Scilit:
- Verifying Linearizability of Intel® Software Guard Extensions2015
- Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems2015
- VC3: Trustworthy Data Analytics in the Cloud Using SGX2015
- Comprehensive formal verification of an OS microkernelACM Transactions on Computer Systems, 2014
- OASIS2013
- A secure processor architecture for encrypted computation on untrusted programs2012
- Architectural support for hypervisor-secure virtualization2012
- A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture2010
- Flicker2008
- First-class user-level threads1991