66123 Saarbrücken (Germany)
I am an Independent Research Group Leader at the Helmholtz Center for Information Security (CISPA). Prior to this, I was a Post-Doctoral researcher at CISPA working in the Secure & Privacy-friendly Information Processing group lead by Prof. Michael Backes. I did my PhD in computer science at the School of Computer Science and Communication at Royal Institute of Technology (KTH) under Prof. Mads Dam. My research interests include security of systems software, formal methods and program logics, interactive theorem proving and machine code analysis.
Proceedings of the Fourteenth EuroSys Conference 2019
Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greec