Talks and presentations

• 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

• 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