print · source · login   

François Dupressoir

University of Surrey

A (somewhat) gentle introduction to machine-checked cryptographic proofs: privacy and verifiability for online voting.

In this talk, I will give a quick introduction to game-based cryptographic proofs, and discuss recent results in the formalization of such proofs for electronic voting systems, including widely-deployed schemes such as Helios. I will then use the (verification) challenges faced in these formalization efforts to discuss possible next steps in the development of proof tools for cryptography.