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

Established: March 1, 2016

Publications

Publications by Year

Publications by Research Area

Publications by Type

People

Portrait of Andrew Ferraiuolo

Andrew Ferraiuolo

Student / Former intern

Cornell University

Portrait of Chris Hawblitzel

Chris Hawblitzel

Senior Principal Researcher

Portrait of Bryan Parno

Bryan Parno

Associate Professor, Carnegie Mellon University