Online / 6 & 7 February 2021

schedule

D.hardware.trusted


Day Start End Track(s)
Saturday 10:00 18:00 Hardware-Aided Trusted Computing
09 10 11 12 13 14 15 16 17
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
CubicleOS -- when Hardware helps to partition software Hardware-Aided Trusted Computing in High-Level Synthesis (HLS) for FPGAs

Events

Title Track Start End

Saturday

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