November 2, 2017
“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…