Insights from formal proofs of e-voting mixnets

Date: 25 April 2025   At: Nancy, France -- PESTO Seminar