About the Workshop
OSEW 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 components for secure enclaves, best practices and state-of-the-art techniques for each component, and open problems in this space. Our agenda and information for (OSEW 2018) is available. This years workshop included invited talks from different research and industry groups on relevant topics, panel discussions on current topics, and contributed talks. For the summary of OSEW 2019, check out our blog post.
Schedule
| Time | Title | Speaker | |
|---|---|---|---|
| 8:30am - 9:00am | Breakfast & Registration | ||
| 9:00am - 10:00am | Session I - Chair: Shweta Shinde | ||
| 9:00 | Opening Remarks | Dawn Song (UC Berkeley, Oasis Labs) | |
| 9:10 | Keystone: A Framework for Architecting TEEs | Keystone Team | Video Slides |
| 9:35 | Trustworthy Secure Enclaves Alliance | Dawn Song & David Kohlbrenner | Video |
| 9:50 | Secure enclave on a smartphone | Justin Lin (HTC) | Video Slides |
| 10:00 | Asylo’s unified enclave identity framework | Anna Sapek (Google) | Video |
| 10:10 | Deploying and provisioning an enclave technology in a data-center environment | Anna Sapek (Google) | Video |
| 10:20 | Partitioning System Software for Hardware Enclaves | Chia-che Tsai (Texas A&M) | Video Slides |
| 10:30pm - 10:40pm | Group Photo | ||
| 10:40am - 11:00am | Break | ||
| 11:00am - 12:30pm | Session II - Chair: David Kohlbrenner | ||
| 11:00 | Arm TrustZone with Secure Partitions and Armv8.4 | Don Banks (ARM) | Video Slides |
| 11:20 | Speculative Taint Tracking (STT): A Comprehensive Protection for Transiently Accessed Secrets | Christopher Fletcher (University of Illinois at Urbana-Champaign) | Video Slides |
| 11:40 | InvisiSpec: Making Speculative Execution Invisible in the Cache Hierarchy | Josep Torrellas (University of Illinois Urbana-Champaign) | Video Slides |
| 12:00 | Side-Channel Attacks and Defenses for SGX and SEV | Yinqian Zhang (The Ohio State University) | Video Slides |
| 12:10 | Ginseng, the Learning TEE | Nick Hynes (Oasis Labs) | Video Slides |
| 12:20pm - 1:30pm | Catered Lunch | ||
| 1:30pm - 3:00pm | Session III - Chair: Shweta Shinde | ||
| 1:30 | Bringing Memory-Safety to Keystone Enclave | Mingshen Sun (Baidu X-Lab) | Video Slides |
| 1:50 | CoSMIX: A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves | Yan Michalevsky (Anjuna) | Video Slides |
| 2:10 | Be secure with Rust & secure enclaves | Jethro Beekman (Fortanix) | Video Slides |
| 2:30 | Fair computation for enclaves | Rohit Sinha (Visa Research) | Video Slides |
| 2:40 | Building Secure Decentralized Applications the DECENT Way | Haofan Zheng (UC Santa Cruz) | Video Slides |
| 2:50 | Using Trusted Execution Environments on High Performance Computing Platforms | Ayaz Akram (UC Davis) | Video Slides |
| 3:00pm - 3:30pm | Break | ||
| 3:30pm - 5:00pm | Session IV - Chair: Krste Asanović | ||
| 3:30 | HardFails: More Trust in Hardware with RISC-V and Co? | Ahmad-Reza Sadeghi (TU Darmstadt) | |
| 3:50 | A free and open API proposal for a multi zone RISC-V TEE | Cesare Garlati (Hex-Five Security) | Video Slides |
| 4:10 | Panel: Open Challenges for Secure Enclaves | Paul Chou (Nvidia), Paul Kocher (Independent), Justin Lin (HTC), Frank Mckeen (Intel Labs), Satyam Srivastava (Intel) | Video |
| 5:00pm - 5:25pm | Break | ||
| 5:25pm - 6:30pm | Session V - Chair: David Kohlbrenner | ||
| 5:25 | Special Guest: A Historical Perspective on Secure Hardware | David Chaum (Elixxir) | Not Recorded |
| 5:35 | Towards End-to-end TEE Verification with Keystone | Shweta Shinde (UC Berkeley) | Video Slides |
| 5:45 | Automated Verification of Systems Code using Serval | Luke Nelson (University of Washington) | Slides |
| 6:05 | Lightning Talks | Pranav Gaddamadugu (UC Berkeley) (Video Slides), Leo Lin (PlatON) (Video Slides), Kubilay Ahmet Küçük (Oxford University) (Video Slides) | |
| 6:20 | Closing Remarks | Organizers | |
| 6:30 | Reception (The Faculty Club) | ||
Sponsors
Organizing Committee
Krste Asanović (UC Berkeley and SiFive), David Kohlbrenner (UC Berkeley), Dayeol Lee (UC Berkeley), Shweta Shinde (UC Berkeley), Dawn Song (UC Berkeley and Oasis Labs), Mohit Tiwari (UT Austin)