EasyChair Smart SlideUser guide
Author: François Dupressoir

This page shows all presentations of this author published in EasyChair Smart Slide.

Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co

Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co

Constantin Cătălin Drăgan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne and Morten Rotvold Solberg

Formal Security Proof of CMAC and its Variants

Formal Security Proof of CMAC and its Variants

Cécile Baritel-Ruet, François Dupressoir, Pierre-Alain Fouque and Benjamin Grégoire

Machine-checked proofs of privacy and verifiability for electronic voting

Machine-checked proofs of privacy and verifiability for electronic voting

Véronique Cortier, Constantin Cătălin Dragan, François Dupressoir and Bogdan Warinschi

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair