VOTOR: conceptually simple remote voting against tiny tyrants. - Thomas Haines; Xavier Boyen (ACSW, 2016)

Truly Multi-authority 'Prêt-à-Voter'. - Thomas Haines; Xavier Boyen (E-VOTE-ID, 2016)

Blockchain-Free Cryptocurrencies. A Rational Framework for Truly Decentralised Fast Transactions. - Xavier Boyen; Christopher Carr; Thomas Haines (IACR Cryptol. ePrint Arch., 2016)

Bitcoin Unchained. - Christopher Carr; Colin Boyd; Xavier Boyen; Thomas Haines (ERCIM News, 2017)

Key Recovery: Inert and Public. - Colin Boyd; Xavier Boyen; Christopher Carr; Thomas Haines (IACR Cryptol. ePrint Arch., 2017)

Forward-Secure Linkable Ring Signatures. - Xavier Boyen; Thomas Haines (ACISP, 2018)

ITADS: A Real-World Intelligent Tutor to Train Troubleshooting Skills. - Sowmya Ramachandran; Randy Jensen; Jeremy Ludwig; Eric Domeshek; Thomas Haines (AIED (2), 2018)

Graphchain: a Blockchain-Free Scalable Decentralised Ledger. - Xavier Boyen; Christopher Carr; Thomas Haines (BCC@AsiaCCS, 2018)

Forward-Secure Linkable Ring Signatures from Bilinear Maps. - Xavier Boyen; Thomas Haines (Cryptogr., 2018)

Verified Verifiers for Verifying Elections. - Thomas Haines; Rajeev Goré; Mukesh Tiwari (CCS, 2019)

A Blind Coupon Mechanism Enabling Veto Voting over Unreliable Networks. - Colin Boyd; Kristian Gjøsteen; Clémentine Gritti; Thomas Haines (INDOCRYPT, 2019)

Cronus: Everlasting Privacy with Audit and Cast. - Thomas Haines (NordSec, 2019)

Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme. - Thomas Haines; Dirk Pattinson; Mukesh Tiwari (VSTTE, 2019)

A Description and Proof of a Generalised and Optimised Variant of Wikström's Mixnet. - Thomas Haines (CoRR, 2019)

Improvements in Everlasting Privacy: Efficient and Secure Zero Knowledge Proofs. - Thomas Haines; Clémentine Gritti (IACR Cryptol. ePrint Arch., 2019)

Revisiting Practical and Usable Coercion-Resistant Remote E-Voting. - Ehsan Estaji; Thomas Haines; Kristian Gjøsteen; Peter B. Rønne; Peter Y. A. Ryan; Najmeh Soroush (E-VOTE-ID, 2020)

Vote Selling Resistant Voting. - Colin Boyd; Thomas Haines; Peter B. Rønne (Financial Cryptography Workshops, 2020)

Short Paper: An Update on Marked Mix-Nets: An Attack, a Fix and PQ Possibilities. - Thomas Haines; Olivier Pereira; Peter B. Rønne (Financial Cryptography Workshops, 2020)

How not to prove your election outcome. - Thomas Haines; Sarah Jamie Lewis; Olivier Pereira; Vanessa Teague (SP, 2020)

A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing. - Xavier Boyen; Thomas Haines; Johannes Müller 001 (IACR Cryptol. ePrint Arch., 2020)

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)

Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting. - Thomas Haines; Rajeev Goré; Bhavesh Sharma (IACR Cryptol. ePrint Arch., 2020)

Machine-checking the universal verifiability of ElectionGuard. - Thomas Haines; Rajeev Goré; Jack Stodart (IACR Cryptol. ePrint Arch., 2020)

SoK: Techniques for Verifiable Mix Nets. - Thomas Haines; Johannes Müller 001 (IACR Cryptol. ePrint Arch., 2020)

Towards Verifiable Remote Voting with Paper Assurance. - Eleanor McMurtry; Xavier Boyen; Chris Culnane; Kristian Gjøsteen; Thomas Haines; Vanessa Teague (CoRR, 2021)

Epoque: Practical End-to-End Verifiable Post-Quantum-Secure E-Voting. - Xavier Boyen; Thomas Haines; Johannes Müller 001 (IACR Cryptol. ePrint Arch., 2021)

Verifiable Decryption in the Head. - Kristian Gjøsteen; Thomas Haines; Johannes Müller 001; Peter B. Rønne; Tjerand Silde (IACR Cryptol. ePrint Arch., 2021)

Improved Verifiability for BeleniosVS. - Thomas Haines; Rajeev Goré (IACR Cryptol. ePrint Arch., 2021)

Optimal Randomized Partial Checking for Decryption Mix Nets. - Thomas Haines; Johannes Müller 001 (IACR Cryptol. ePrint Arch., 2021)

A Novel Proof of Shuffle: Exponentially Secure Cut-and-Choose. - Thomas Haines; Johannes Müller 001 (IACR Cryptol. ePrint Arch., 2021)

New Standards for E-Voting Systems: Reflections on Source Code Examinations. - Thomas Haines; Peter B. Rønne (IACR Cryptol. ePrint Arch., 2021)

Running the Race: A Swiss Voting Story. - Thomas Haines; Olivier Pereira; Vanessa Teague (E-Vote-ID, 2022)

Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System. - Tingfeng Yu; James Henderson; Alwen Tiu; Thomas Haines (CoRR, 2022)

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)

On the Auditability of the Estonian IVXV System - And an Attack on Individual Verifiability. - Anggrio Sutopo; Thomas Haines; Peter B. Rønne (FC Workshops, 2023)

Scalable Coercion-Resistant E-Voting under Weaker Trust Assumptions. - Thomas Haines; Johannes Müller 001; Iñigo Querejeta-Azurmendi (SAC, 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)

SoK: Secure E-Voting with Everlasting Privacy. - Thomas Haines; Rafieh Mosaheb; Johannes Müller 001; Ivan Pryvalov (Proc. Priv. Enhancing Technol., 2023)

On the Applicability of STARKs to Counted-as-Collected Verification in Existing Homomorphic E-Voting Systems. - Max Harrison; Thomas Haines (FC Workshops, 2024)

Security and Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System. - Tingfeng Yu; James Henderson; Alwen Tiu; Thomas Haines (USENIX Security Symposium, 2024)

Zero-Knowledge Proofs from Learning Parity with Noise: Optimization, Verification, and Application. - Thomas Haines; Rafieh Mosaheb; Johannes Müller 001; Reetika (CSF, 2025)

Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth. - Thomas Haines; Rajeev Goré; Mukesh Tiwari (IACR Cryptol. ePrint Arch., 2025)