| Jun 10, 2026 | Our paper Principled Design of Indexing Functions for Memory Coloring was accepted at Usenix Security’26! In this paper, we investigate how to make simultaneous partitioning of multiple shared microarchitectural components practical - by synthesizing new indexing functions. |
| May 20, 2026 | Our paper Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks was awarded a Distinguished Paper Award at S&P! |
| May 05, 2026 | I’m very proud to announce that Clara Schneidewind’s and my course Functional Programming was nominated for the RUB Excellent Teaching Award! Update (June’26): We actually won the award! Yay! |
| Apr 13, 2026 | Our paper A Deductive System for Contract Satisfaction Proofs will appear at PLDI’26. The preprint is available on ArXiv. |
| Feb 13, 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). |
| Oct 01, 2025 | I’m very happy to welcome Darius and Brian, who joined the group as Ph.D. researchers! |
| 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. |
| Jul 15, 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! |
| 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. |