Talks

DateTitle & Occasion, Location
February 2024Confidential Computing devroom - Welcome!
FOSDEM 2024 - Confidential Computing devroom [Slides]
October 2023Interface Sanitization and Real-Time Scheduling for Enclaved Execution
Public PhD Defense [Slides]
June 2023Intel SGX interface vulnerabilities and how to automatically detect them
Workshop on Security, Privacy & Verifiable Computing for contemporary distributed systems [Slides]
June 2023Intel SGX interface vulnerabilities and how to automatically detect them
Workshop on Security, Privacy & Verifiable Computing for contemporary distributed systems [Slides]
June 2023Trusted execution architectures on light-weight embedded devices
Workshop on Security, Privacy & Verifiable Computing for contemporary distributed systems [Slides]
May 2023About Time: On the Challenges of Temporal Guarantees in Untrusted Environments
Workshop on System Software for Trusted Execution (SysTEX 2023) [Slides]
November 2021Aion: Enabling Open Systems through Strong Availability Guarantees for Enclaves
ACM SIGSAC Conference on Computer and Communications Security (CCS) 2021 [Slides] [Video]
September 2021Aion: Enabling Open Systems through Strong Availability Guarantees for Enclaves
LSDS Research Group - Imperial College London, Online [Slides]
August 2021Aion: Enabling Open Systems through Strong Availability Guarantees for Enclaves
Microsoft Research Cambridge - Confidential Computing series, Online [Slides]
March 2021Trusted Execution with Real-Time and Availability Guarantees for Mixed-Criticality Embedded Systems
QA&TEST - Safety & Security, Online [Slides]
December 2020Ramming Enclave Gates: A Systematic Vulnerability Assessment of TEE Shielding Runtimes
Remote Chaos Experience (RC3/CCC 2020), Online [Slides][Video]
December 2020Faulty Point Unit: ABI Poisoning Attacks on Intel SGX
Annual Computer Security Applications Conference (ACSAC), Online [Slides][Video]
July 2020The Tale Continues: Pitfalls and Best Practices for SGX Shielding Runtimes
2nd Intel SGX Community Workshop, online, together with Jo Van Bulck (Personal website) [Slides]
November 2019S-FaaS: Trustworthy and accountable Function-as-a-Service using Intel SGX
Cloud Computing Security Workshop (CCSW), London, UK [Slides]
January 2019TEE2 - Combining Trusted Hardware to Enhance the Security of TEEs
Invited Talk at imec-DistriNet, KU Leuven
August 2018Migrating SGX Enclaves with Persistent State
Intel Tech Talk, Online
June 2018Migrating SGX Enclaves with Persistent State (together with Arseny Kurnikov)
IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Luxembourg