ACM Conference on Computer and Communications Security

CCS 2017 - Session 4K

Sessions · Papers

Secure Enclaves

Thursday, 4:00-5:30pm

Session chair: Alex Malozemoff

JITGuard: Hardening Just-in-time Compilers with SGX
Tommaso Frassetto (Technische Universität Darmstadt), David Gens (Technische Universität Darmstadt), Christopher Liebchen (Technische Universität Darmstadt), Ahmad-Reza Sadeghi (Technische Universität Darmstadt)
[PDF]
[Paper]
Leaky Cauldron on the Dark Land: Understanding Memory Side-Channel Hazards in SGX
Wenhao Wang (Indiana University), Guoxing Chen (The Ohio State University), Xiaorui Pan (Indiana University), Yinqian Zhang (The Ohio State University), XiaoFeng Wang (Indiana University), Vincent Bindschaedler (University of Illinois at Urbana-Champaign), Haixu Tang (Indiana University), Carl A. Gunter (University of Illinois at Urbana-Champaign)
[PDF]
A Formal Foundation for Secure Remote Execution of Enclaves
Pramod Subramanyan (University of California, Berkeley), Rohit Sinha (University of California, Berkeley), Ilia Lebedev (Massachusetts Institute of Technology), Srinivas Devadas (Massachusetts Institute of Technology), Sanjit Seshia (University of California, Berkeley)
★ (Award Finalist)
[PDF]
[Paper]
[Artifact]