The following publications are possibly variants of this publication:
- Machine-checked proofs of privacy against malicious boards for Selene & CoConstantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg. jcs, 31(5):469-499, 2023. [doi]
- Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & CoConstantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg. csfw 2022: 335-347 [doi]
- Machine-Checked Proofs of Privacy for Electronic Voting ProtocolsVéronique Cortier, Constantin Catalin Dragan, François Dupressoir, Benedikt Schmidt, Pierre-Yves Strub, Bogdan Warinschi. sp 2017: 993-1008 [doi]
- Machine-Checked Proofs for Electronic Voting: Privacy and Verifiability for BeleniosVéronique Cortier, Constantin Catalin Dragan, François Dupressoir, Bogdan Warinschi. csfw 2018: 298-312 [doi]