PDFs of papers available from local links are post peer review, pre copy edit versions or pre-prints. DOIs are provided for the final versions.
I investigate formal modeling and proofs for cryptographic protocols and primitives. My supervisor is Mads Dam.
The research is partially supported by the Wallenberg AI, Autonomous Systems and Software Program (WASP) fundedby the Knut and Alice Wallenberg Foundation.
I am primarily working security architectures and cryptographic protocol analysis and design, and also with software security.