| Apr 12, 2026 | I am a Co-PC chair of FCS@CSF@FLoC’26, the workshop on Foundations of Computer Security. Consider submitting past or ongoing work (either short or long papers). |
| Mar 15, 2026 | I’m very happy to welcome Darius and Brian, who joined the group as Ph.D. researchers! |
| Oct 01, 2025 | I am a Co-PC chair of PLAS@CCS’25, the Programming Languages and Analysis for Security workshop at CCS. Join us at CCS’25 in Taipei! |
| Jul 15, 2025 | After a long embargo, our paper Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks is available now. The paper describes Transient Scheduler Attacks that can leak data across security boundaries. |
| Dec 10, 2024 | Our paper Principled Microarchitectural Isolation on Cloud CPUs won a distinguished paper award at CCS’24! |
| Sep 01, 2024 | I will serve as Sponsorship Chair at CAV’25. I’ve also joined the PC of the Formal Methods & Programming Languages track at CCS’25. |
| Jul 01, 2024 | We have two papers accepted at CCS’24! One is titled Gaussian Elimination of Side-Channels: Linear Algebra for Memory Coloring and the other is titled Principled Microarchitectural Isolation on Cloud CPUs. |
| Apr 01, 2024 | I will start as tenure-track faculty at MPI-SP in October 2024. |
| Oct 01, 2023 | I joined the PC of CAV 2024. |
| Oct 01, 2023 | I was awarded the Dr.-Eduard-Martin prize for the best Computer Science Ph.D. thesis at Saarland University in 2022. |
| Jul 01, 2023 | Our paper Reactive Synthesis of Smart Contract Control Flows was accepted at ATVA’23! |
| Jul 01, 2023 | Our paper Smart Contract Synthesis Modulo Hyperproperties won a Distinguished Paper Award at CSF’23! Find the paper here. |
| Jun 01, 2023 | Our paper Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions was accepted at USENIX Security’23. |
| May 01, 2023 | I joined the PC of CSF 2024. |
| Mar 01, 2023 | Our paper Automata-Based Software Model Checking of Hyperproperties has been accepted at NFM’23. This work builds on Janine Lohse’s Bachelor’s thesis supervised by Hadar Frenkel and myself. |
| Feb 01, 2023 | My PhD thesis is now available here. |
| Feb 01, 2023 | I joined the PC of ICTAC 2023. |
| Dec 01, 2022 | I successfully defended my Ph.D. thesis! |
| Sep 01, 2022 | I joined the Confidential Computing Group at Microsoft Research. |