Brussels / 1 & 2 February 2020

schedule

Hardware-aided Trusted Computing devroom


09 10 11 12 13 14 15 16 17 18
Saturday Opening Introduction to the CoSMIX Compiler
Compiler-based techniques for secure memory instrumentation in enclaves
Be secure with Rust & Intel SGX The Confidential Consortium Framework
A framework to build secure, highly available, and performant applications that focus on multi-party compute and data
EActors: an actor-based programming framework for Intel SGX A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes HOWTO build a product with OP-TEE Demo: SGX-LKL
Running unmodified Linux applications inside Intel SGX's enclaves

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 Vasily A. Sartakov 10:30 10:40
  Introduction to the CoSMIX Compiler
Compiler-based techniques for secure memory instrumentation in enclaves
Yan Michalevsky 10:40 11:10
  Be secure with Rust & Intel SGX Jethro G. Beekman 11:15 11:45
  The Confidential Consortium Framework
A framework to build secure, highly available, and performant applications that focus on multi-party compute and data
Amaury Chamayou 11:50 12:20
  EActors: an actor-based programming framework for Intel SGX Vasily A. Sartakov 12:25 12:55
  A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes Jo Van Bulck 13:00 13:30
  HOWTO build a product with OP-TEE Rouven Czerwinski 13:35 14:05
  Demo: SGX-LKL
Running unmodified Linux applications inside Intel SGX's enclaves
Thiago Zagatti 14:10 14:30