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

Andrew Ferraiuolo

Student / Former intern

Cornell University

Chris Hawblitzel

Senior Principal Researcher

Bryan Parno

Associate Professor, Carnegie Mellon University