Program
| 09:30-09:45 | Opening and Welcome [ Slides ] |
| 09:45-11:00 | Technical Paper Sessions 1: ARM TrustZone |
|
09:45:
Secure Intermittent Computing with ARM TrustZone on the
Cortex-M
[ Slides ]
Pietro Chiavassa (Politecnico di Torino), Filippo Gandino (Politecnico di Torino), Renato Ferrero (Politecnico di Torino), Jan Tobias Mühlberg (Université libre de Bruxelles)  
|
|
| 10:10: Conditional
Network Availability: Enhancing Connectivity Guarantees
for TEE-Based Services Jonas Röckl (FAU Erlangen-Nürnberg), Christian Lindenmeier (FAU Erlangen-Nürnberg), Matti Schulze (FAU Erlangen-Nürnberg), Tilo Müller (Hof University of Applied Sciences) |
|
|
10:35: NetReach:
Guaranteed Network Availability and Reachability to
enable Resilient Networks for Embedded
Systems
[ Slides ]
Tom Van Eyck (DistriNet, KU Leuven), Sam Michiels (DistriNet, KU Leuven), Xiaojiang Du (Stevens Institute of Technology), Danny Hughes (DistriNet, KU Leuven)
|
|
| 11:00-11:15 | Coffee Break |
| 11:15-12:30 | Technical Paper Sessions 2: Intel SGX |
|
11:15: duet: Combining
a Trustworthy Controller with a Confidential
Computing Environment
[ Slides ]
Istemi Ekin Akkus (Nokia Bell Labs), Ivica Rimac (Nokia Bell Labs) 
|
|
|
11:40: PraaS:
Verifiable Proofs of Property as-a-Service with Intel
SGX
[ Slides ]
Istemi Ekin Akkus (Nokia Bell Labs), Ivica Rimac (Nokia Bell Labs), Ruichuan Chen (Nokia Bell Labs)
|
|
|
12:05: Revisiting
Rollbacks on Smart Contracts in TEE-protected Private
Blockchains
[ Slides ]
Chen Chang Lew (ETH Zürich), Christof Ferreira Torres (ETH Zürich), Shweta Shinde (ETH Zürich), Marcus Brandenburger (IBM Research)
|
|
| 12:30-13:30 | Lunch |
| 13:30-14:45 | Technical Paper Sessions 3: Remote Attestation |
| 13:30: Understanding
Trust Relationships in Cloud-Based Confidential
Computing
[ Slides ]
Gianluca Scopelliti (Ericsson & DistriNet, KU Leuven), Christoph Baumann (Ericsson), Jan Tobias Mühlberg (Université libre de Bruxelles) |
|
|
13:55: Delegating
Verification for Remote Attestation using
TEE
[ Slides ]
Takashi Yagawa (University of Tsukuba), Tadanori Teruya (National Institute of Advanced Industrial Science and Technology), Kuniyasu Suzaki (Institute of Information Security), Hirotake Abe (Department of Computer Science, University of Tsukuba)
|
|
|
14:20: SNPGuard: Remote
Attestation of SEV-SNP VMs Using Open Source
Tools Luca Wilke (University of Luebeck), Gianluca Scopelliti (Ericsson & DistriNet, KU Leuven) [ Slides ]
|
|
| 14:45-15:00 | Coffee Break |
| 15:00-16:15 | Technical Paper Sessions 4: Enhanced and Future TEEs |
| 15:00: Minimal
Partitioning Kernel with Time Protection and
Predictability Henrik Karlsson (KTH Royal Institute of Technology) |
|
| 15:25: SyncEmu:
Enabling Dynamic Analysis of Stateful Trusted
Applications
[ Slides ]
Christian Lindenmeier (FAU Erlangen-Nürnberg), Matti Schulze (FAU Erlangen-Nürnberg), Jonas Röckl (FAU Erlangen-Nürnberg), Marcel Busch (EPFL) |
|
| 15:50: BarriCCAde:
Isolating Closed-Source Drivers with ARM CCA
[ Slides ]
Matti Schulze (FAU Erlangen-Nürnberg), Christian Lindenmeier (FAU Erlangen-Nürnberg), Jonas Röckl (FAU Erlangen-Nürnberg) |
|
| 16:15-16:30 | Closing Remarks |