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

成立时间:March 1, 2016

研究组

人员

Andrew Ferraiuolo的肖像

Andrew Ferraiuolo

Student / Former intern

Cornell University

Chris Hawblitzel的肖像

Chris Hawblitzel

Senior Principal Researcher

Bryan Parno的肖像

Bryan Parno

Associate Professor, Carnegie Mellon University