Proving e-voting mixnets in the CCSA model: zero-knowledge proofs and rewinding

Date: 3-5 April 2024   At: Saint Pierre d'Oléron, France -- GT MFS days