The page of my PhD defence can be found here.
I am currently a postdoctoral reseracher at the MPI for Security and Privacy, Bochum, with Gilles Barthe.
- The Last Mile: High-Assurance and High-Speed Cryptographic Implementations, accepted at S&P 2020: arxiv.
- Decidability of a Sound Set of Inference Rules for Computational Indistinguishability, accepted at CSF 2019: arxiv, pdf.
- The 5G-AKA Authentication Protocol Privacy, accepted at EuroS&P 2019: arxiv, pdf.
My older works can be found here