My interests are in computer security, programming languages, and formal methods. In particular, all means of guaranteeing that software is secure, safe and reliable, especially if this is achieved through analysis, verification, and transformation, of programs.
I was a Postdoc at Max Planck Institute for Software Systems (MPI-SWS), hosted by Deepak Garg, and at Carnegie Mellon University (CMU) CyLab, hosted by Limin Jia and Lujo Bauer. I did my PhD at Chalmers in the security lab, supervised by Andrei Sabelfeld.
Department of Computer Science and Engineering,
Chalmers University of Technology and Göteborg University,
ISBN 978-91-7385-989-9, April 2014.
Concurrent Programming (TDA383)
Finite Automata Theory and Formal Languages (TMV027)
Securing Web Applications - Chalmers University of Technology (actor, 2013-12-18)
WhatsApp hack - Radio24syv, Datolinjen (interview, 2019-05-14)