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.
