Komodo: Using verification to disentangle secure-enclave hardware from software.

Andrew Ferraiuolo, Andrew Baumann, Chris Hawblitzel, Bryan Parno

Browse the full SOSP paper archive.