Section: New Results
Privacy, Electronic Voting, and Auctions
Participants : Benjamin Smyth [correspondant] , Elizabeth Quaglia.
Benjamin Smyth worked on a formal analysis of privacy in Direct Anonymous Attestation schemes [50] . He also showed how to verify commitment protocols in ProVerif without False attacks [39] .
Apart from these published works, Benjamin Smyth and Elizabeth Quaglia worked on formal security analyses of electronic auction schemes based on existing models for electronic voting [48] . Benjamin Smyth worked on developing new formal definitions for secrecy and independence in election schemes [51] , and on applying such definitions to the security analysis of real-world voting protocols such as Helios and JCJ [49] .