Efficient mixing of arbitrary ballots with everlasting privacy: How to verifiably mix the PPATC scheme. - Kristian Gjøsteen; Thomas Haines; Morten Rotvold Solberg (IACR Cryptol. ePrint Arch., 2020)

Machine-Checked Proofs of Accountability: How to sElect Who is to Blame. - Constantin Catalin Dragan; François Dupressoir; Kristian Gjøsteen; Thomas Haines; Peter B. Rønne; Morten Rotvold Solberg (ESORICS (3), 2023)

Coercion Mitigation for Voting Systems with Trackers: A Selene Case Study. - Kristian Gjøsteen; Thomas Haines; Morten Rotvold Solberg (IACR Cryptol. ePrint Arch., 2023)

Machine-checked proofs of privacy against malicious boards for Selene & Co. - Constantin Catalin Dragan; François Dupressoir; Ehsan Estaji; Kristian Gjøsteen; Thomas Haines; Peter Y. A. Ryan; Peter B. Rønne; Morten Rotvold Solberg (J. Comput. Secur., 2023)