Online / 6 & 7 February 2021

visit

Hardware-Aided Trusted Computing devroom

Room: D.hardware.trusted
Calendar: iCal, xCal
Video with Q&A: D.hardwaretrusted
Video only: D.hardwaretrusted
Chat: Join the conversation!


09 10 11 12 13 14 15 16 17 18
Saturday Opening
Welcome, overview, lineup		 Rust, WebAssembly and open source
Enarx design choices		 Veracruz: privacy-preserving collaborative compute Graphene Library OS
Running unmodified applications in SGX enclaves		 Secure Multi-Party Applications in Open Enclave Lightning fast enclave network services with async I/O An Open-Source Framework for Developing Heterogeneous Distributed Enclave Applications Hardwared Based CPU Undervolting on The Cheap
Stealing Your Secrets for $30		 Exploiting Interfaces of SEV-ES-protected Virtual Machines Overview of Secure Boot state in the ARM-based SoCs Penglai Enclave: Verifiable and Scalable RISC-V TEE System Keystone: towards an open standard for trusted execution environments TEEP (Trusted Execution Environment Provisioning) Implementation on RISC-V
Introduction of TEEP and implementation on RISC-V		 Trusted RV: 64bit RISC-V TEE with Secure CoProcessor as Root of Trust CheriBSD
A memory safe POSIX OS		 Hardware-Aided Trusted Computing in High-Level Synthesis (HLS) for FPGAs CubicleOS -- when Hardware helps to partition software

Read the Call for Papers at https://lists.fosdem.org/pipermail/fosdem/2020q4/003139.html.

This devroom is devoted to the emerging open-source ecosystem around Trusted Execution Environments (TEEs) which make use of modern hardware extensions like Intel SGX, ARM TrustZone, AMD SEV/SME and others. With today's mainstream consumer hardware being increasingly shipped with these advanced trusted computing technologies, the devroom wants to foster discussion on the much-needed open-source TEE ecosystem amongst open-source hobbyists, academics, enthusiasts, and project maintainers. The devroom’s topics of interest include, but are not limited to:

Event Speakers Start End

Saturday
  Opening
Welcome, overview, lineup		 Jo Van Bulck 10:00 10:05
  Rust, WebAssembly and open source
Enarx design choices		 Nathaniel McCallum, Mike Bursell, axel simon 10:05 10:30
  Veracruz: privacy-preserving collaborative compute Dominic Mulligan 10:30 10:55
  Graphene Library OS
Running unmodified applications in SGX enclaves		 Dmitrii Kuvaiskii 10:55 11:20
  Secure Multi-Party Applications in Open Enclave Christoph M. Wintersteiger 11:20 11:45
  Lightning fast enclave network services with async I/O Jethro G. Beekman, Mohsen Zohrevandi 11:45 12:10
  An Open-Source Framework for Developing Heterogeneous Distributed Enclave Applications Gianluca Scopelliti, sepideh pouyanrad 12:10 12:35
  Hardwared Based CPU Undervolting on The Cheap
Stealing Your Secrets for $30		 ZITAI CHEN 13:30 13:55
  Exploiting Interfaces of SEV-ES-protected Virtual Machines Martin Radev 13:55 14:20
  Overview of Secure Boot state in the ARM-based SoCs Maciej Pijanowski 14:20 14:45
  Penglai Enclave: Verifiable and Scalable RISC-V TEE System Dong Du 15:00 15:25
  Keystone: towards an open standard for trusted execution environments Dayeol Lee 15:25 15:50
  TEEP (Trusted Execution Environment Provisioning) Implementation on RISC-V
Introduction of TEEP and implementation on RISC-V		 Akira Tsukamoto 15:50 16:15
  Trusted RV: 64bit RISC-V TEE with Secure CoProcessor as Root of Trust Kuniyasu Suzaki 16:15 16:40
  CheriBSD
A memory safe POSIX OS		 Brooks Davis 16:50 17:15
  Hardware-Aided Trusted Computing in High-Level Synthesis (HLS) for FPGAs Babar Khan 17:15 17:40
  CubicleOS -- when Hardware helps to partition software Vasily A. Sartakov 17:40 18:00