Research

Conference Papers

---

2026

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

  Submitted at: [under submission] (eprint),     2026,
  Authors:

  Links: Paper

Thesis

---

2022

• [Master thesis] Reducing memory consumption of ProVerif with hash consing techniques

  Master thesis (M2 MPRI), Université Paris Diderot (Paris VII)     2022, Mar. 2022 - Aug. 2022
  Authors: Margot Catinaud

  Links: Paper | Slides | Code artifact