Talks and presentations

• 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