Talks and presentations

• Making cryptographic proofs more formal: case of zero-knowledge proofs and rewinding

  2 July 2026    Seminar @ GRACE | INRIA Saclay, France    Slides

• Modularity of mix-server security proofs in the CCSA logic: case of Bayer-Groth protocol

  24-26 March 2026    GT MFS days | Luz-Saint-Sauveur, France    Slides

• Insights from formal proofs of e-voting mixnets

  25 April 2025    PESTO Seminar | Nancy, France    Slides

• Proof of a mixnet in the Computationally Complete Symbolic Attacker (CCSA) model

  6 February 2024    PEPR SVP day | Paris, France    Slides

• Mecanized proofs of electronic voting protocols: focus on mixnets protocols

  13-14 June 2024    Séminaire au vert | Saint Rémy lès Chevreuse, France    Slides

• Proving e-voting mixnets in the CCSA model: zero-knowledge proofs and rewinding

  3-5 April 2024    GT MFS days | Saint Pierre d'Oléron, France    Slides