Projects

I am one of the main developers of the Jasmin compiler. Jasmin is a Framework for developing high-speed and high-assurance cryptographic software (pdf).

I am one of the main developers of the AutoG&P tool. AutoG&P is a tool to perform highly automated proofs of pairing-based cryptographic primitives (pdf).

I am one of the main developers of the Generic Group Analyzer. Generic Group Analyzer is a tool that automatically analyzes the security of cryptographic assumptions and cryptographic primitives in generic group models (pdf).

I contribute to Easycrypt. Easycrypt is an tool to perform game-based cryptographic proofs (pdf).

I am one of the main developers of the Tamarin prover. Tamarin performs automated analysis of security protocols in the symbolic model (pdf).