Mecanized proofs of electronic voting protocols: focus on mixnets protocols

Date: 13-14 June 2024   At: Saint Rémy lès Chevreuse, France -- Séminaire au vert