Title: |
Komodo: Using verification to disentangle secure-enclave hardware from software |
Article URLs: |
|
Alternative Article URLs: |
|
Authors: |
Andrew Ferraiuolo |
|
Andrew Baumann |
|
Chris Hawblitzel |
|
Bryan Parno |
-
Carnegie Mellon University
|
Sharing: |
Research produced artifacts
|
Verification: |
Authors have
verified
information
|
Artifact Evaluation Badge: |
none
|
Artifact URLs: |
|
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 |