“A Formal Foundation for Secure Remote Execution of Enclaves” wins Best Paper Award at ACM CCS 2017

A paper co-authored by postdoc Pramod Subramanyan, grad student Rohit Sinha, alumnus Ilia Lebedev (B.S. ’10), alumnus and MIT Prof. Srinivas Devadas (M.S. ’86/Ph.D. ’88), and EECS Prof. Sanjit A. Seshia has won Best Paper Award at the 2017 ACM Conference on Computer and Communications Security (CCS).  The paper, A Formal Foundation for Secure Remote Execution of Enclaves, introduces a formal modeling and verification methodology for secure remote execution based on the notion of a trusted abstract platform.  CCS is the flagship annual conference of the Special Interest Group on Security, Audit and Control (SIGSAC) of the Association for Computing Machinery (ACM).