This page shows all presentations of this author published in EasyChair Smart Slide.
Machine-checked proofs of privacy and verifiability for electronic voting
Véronique Cortier, Constantin Cătălin Dragan, François Dupressoir and Bogdan Warinschi