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

Article Details
Title:	Komodo: Using verification to disentangle secure-enclave hardware from software
Article URLs:	https://doi.org/10.1145/3132747.3132782
Alternative Article URLs:
Authors:	Andrew Ferraiuolo	Cornell University
	Andrew Baumann	Microsoft Research
	Chris Hawblitzel	Microsoft Research
	Bryan Parno	Carnegie Mellon University
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://github.com/Microsoft/Komodo
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1700521
DBLP Key:	conf/sosp/FerraiuoloBHP17
Author Comments:	The same version of the paper can also be found here: https://www.microsoft.com/en-us/research/wp-content/uploads/2017/10/komodo.pdf

ACM Symposium on Operating Systems Principles, SOSP 2017