Saturday |
| |
Opening |
Hardware-aided Trusted Computing |
10:30 |
10:40 |
| |
AMENDMENT Be secure with Rust & Intel SGX |
Hardware-aided Trusted Computing |
10:40 |
11:15 |
| |
AMENDMENT The Confidential Consortium Framework
A framework to build secure, highly available, and performant applications that focus on multi-party compute and data |
Hardware-aided Trusted Computing |
11:20 |
11:55 |
| |
AMENDMENT EActors: an actor-based programming framework for Intel SGX |
Hardware-aided Trusted Computing |
12:00 |
12:35 |
| |
AMENDMENT A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes |
Hardware-aided Trusted Computing |
12:40 |
13:15 |
| |
AMENDMENT HOWTO build a product with OP-TEE |
Hardware-aided Trusted Computing |
13:20 |
13:55 |
| |
AMENDMENT Demo: SGX-LKL
Running unmodified Linux applications inside Intel SGX's enclaves |
Hardware-aided Trusted Computing |
14:00 |
14:30 |
| |
Open source UEFI and TianoCore |
Open Source Firmware, BMC and Bootloader |
15:00 |
15:25 |
| |
Discover UEFI with U-Boot |
Open Source Firmware, BMC and Bootloader |
15:30 |
15:55 |
| |
Heads OEM device ownership/reownership : A tamper evident approach to remote integrity attestation
Current status and future plan : A call for collaboration |
Open Source Firmware, BMC and Bootloader |
16:00 |
16:25 |
| |
Improving the Security of Edge Computing Services
Update status of the support for AMD and Intel processors |
Open Source Firmware, BMC and Bootloader |
16:30 |
16:55 |
| |
Introducing AUTOREV
An automatic reverse-engineering framework for firmware BLOBs |
Open Source Firmware, BMC and Bootloader |
17:00 |
17:25 |
| |
Look at ME!
Intel ME firmware investigation |
Open Source Firmware, BMC and Bootloader |
17:30 |
17:55 |
| |
Capsule Update & LVFS: Improving system firmware updates
Improving reliability and security by simplifying distribution of firmware updates |
Open Source Firmware, BMC and Bootloader |
18:00 |
18:25 |
| |
Opening Intel Server firmware based on OpenBMC example |
Open Source Firmware, BMC and Bootloader |
18:30 |
18:55 |
Sunday |
| |
seL4 Microkernel Status Update |
Microkernels and Component-based OS |
09:00 |
09:50 |
| |
M³: Taking Microkernels to the Next Level |
Microkernels and Component-based OS |
10:00 |
10:35 |
| |
HelenOS in the Year of the Pig |
Microkernels and Component-based OS |
10:40 |
10:55 |
| |
Linux Kernel Library
A Library Version of Linux Kernel |
Microkernels and Component-based OS |
11:00 |
11:25 |
| |
Phantom OS
Orthogonal Persistence-based OS Intro and Design Concepts |
Microkernels and Component-based OS |
11:30 |
11:55 |
| |
Gneiss: A Nice Component Framework in SPARK |
Microkernels and Component-based OS |
12:00 |
12:25 |
| |
A Component-based Environment for Android Apps |
Microkernels and Component-based OS |
12:30 |
12:55 |
| |
Demonstration of the Sculpt Operating System |
Microkernels and Component-based OS |
13:00 |
13:50 |
| |
A Brief Survey through Genode's ARMv8 Playground |
Microkernels and Component-based OS |
14:00 |
14:25 |
| |
NOVA Microhypervisor on ARMv8-A |
Microkernels and Component-based OS |
14:30 |
15:20 |
| |
The HIPPEROS RTOS
A Song of Research and Development |
Microkernels and Component-based OS |
15:30 |
15:55 |
| |
Unikraft: A Unikernel Toolkit |
Microkernels and Component-based OS |
16:00 |
16:25 |
| |
VUOS: Give Your Processes a New VU |
Microkernels and Component-based OS |
16:30 |
16:55 |