EasyChair Smart Slide
Machine-checked proofs of privacy and verifiability for electronic voting
Machine-checked proofs of privacy and verifiability for electronic voting