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 |
|
Hardware-Aided Trusted Computing in High-Level Synthesis (HLS) for FPGAs |
Hardware-Aided Trusted Computing |
17:15 |
17:40 |
|
CubicleOS -- when Hardware helps to partition software |
Hardware-Aided Trusted Computing |
17:40 |
18:00 |