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