About the Workshop


This workshop brings the architecture/systems-security community together to make progress towards building open source, secure, performant enclaves. In particular, we will discuss the different, realistic threat models, the different components needed to build a secure enclave, best practices and state-of-the-art techniques for each component, and open problems in this space.

The workshop will also include presentations from different research and industry groups on relevant topics. Participants will also contribute to a final write-up summarizing the findings and discussions from the workshop. We hope the workshop can serve as a starting point to bring the community together towards building open source, secure, performant enclaves, help enabling standardization and real world deployment of open source secure enclaves.

Participants attending the workshop include researchers and practitioners from UC Berkeley, UT Austin, MIT, UC Santa Barbara, UConn, Cornell, UIUC, Georgia Tech, Google, Microsoft, Facebook, Intel, ARM, SiFive, Rambus, Galois Research, Oasis Labs, and Alibaba.

Organizing Committee

Dawn Song (UC Berkeley and Oasis Labs),
Mohit Tiwari (UT Austin),
Krste Asanović (UC Berkeley and SiFive),
Srini Devadas (MIT),
David Kohlbrenner (UC Berkeley),
Dayeol Lee (UC Berkeley),
Ilia Lebedev (MIT)

Schedule

Each session will end with a 5 minute summary discussion.

Time Topic
09:30 Selected Talks
  • Opening Remark: Dawn Song (UC Berkeley/Oasis Labs), Krste Asanovic (UC Berkeley/SiFive), Mohit Tiwari (UT Austin)
  • Scott Johnson (Google) [24 mins]
  • Ilia Lebedev (MIT), Dayeol Lee (UC Berkeley) [16 mins]
  • Carlos Rozas (Intel) [20 mins]
  • 10:30 Break
    10:45 Threat Models and Physical Attacks
  • Prakash Ramrakhyani (ARM) [5 mins]
  • Milos Prvulovic (Georgia Tech) [5 mins]
  • 11:30 Elements of secure hardware
  • Ilia Lebedev (MIT), David Kohlbrenner (UC Berkeley), Dayeol Lee (UC Berkeley) [8 mins]
  • 12:00 Catered lunch
    13:00 Side-Channel Defenses
  • Chris Fletcher (UIUC) [5 mins]
  • Paul Kocher [5 mins]
  • Marten van Dijk (UConn) [5 mins]
  • Paul Gleichauf (ARM) [5 mins]
  • 14:00 Break
    14:15 Secure Remote Attestation
  • Ilia Lebedev (MIT) [5 mins]
  • Sahil Rihan (Facebook) [5 mins]
  • Uday Savagaonkar (Google) [5 mins]
  • 15:00 Break
    15:15 Secure Supply Chain Management
  • Helena Handschuh (Rambus) [5 mins]
  • Uday Savagaonkar (Google) [5 mins]
  • 16:00 Break
    16:15 Workloads, Programming Models, and Domain-Specific Acceleration
  • Workloads/Programming Models: Chris Fletcher (UIUC), Mohit Tiwari (UT Austin), Dawn Song (UC Berkeley/Oasis Labs) [15 mins]
  • Verification, Tools: Tim Sherwood (UC Santa Barbara), Joe Kiniry (Galois), Sanjit Seshia (UC Berkeley) [15 mins]
  • Domain Specific Acceleration: Stavros Volos (Microsoft) [5 mins]
  • 17:30 Wrap up & Highlights [15 mins]
    18:00 Reception at Womens Faculty Club