Registered user since Mon 11 Nov 2019
I am scientific director at MPI-SP, Bochum, Germany and a part-time research professor at IMDEA Software Institute, Madrid, Spain. My research interests include programming languages and program verification, software and system security, cryptography, privacy, and mathematical logic. My most recent research develops programming language techniques and verification methods for security, with a focus on relational verification and its applications to cryptography and differential privacy.
|PriSC 2021||High-Assurance Cryptography in the Spectre Era|
|POPL 2021|| Deciding Accuracy of Differential Privacy Schemes|
A Pre-Expectation Calculus for Probabilistic Sensitivity
|Show activities from other conferences|
View general profile