| 2025 | ESORICS | Formalisation of the KZG Polynomial Commitment Schemes in EasyCrypt. | Palak, Thomas Haines |
| 2024 | FC | On the Applicability of STARKs to Counted-as-Collected Verification in Existing Homomorphic E-Voting Systems. | Max Harrison, Thomas Haines |
| 2023 | ESORICS | Machine-Checked Proofs of Accountability: How to sElect Who is to Blame. | Constantin Catalin Dragan, Franois Dupressoir, Kristian Gjsteen, Thomas Haines, Peter B. Rnne, Morten Rotvold Solberg |
| 2023 | FC | On the Auditability of the Estonian IVXV System - And an Attack on Individual Verifiability. | Anggrio Sutopo, Thomas Haines, Peter B. Rnne |
| 2023 | SAC | Scalable Coercion-Resistant E-Voting under Weaker Trust Assumptions. | Thomas Haines, Johannes Mller, Iigo Querejeta-Azurmendi |
| 2022 | ACISP | Verifiable Decryption in the Head. | Kristian Gjsteen, Thomas Haines, Johannes Mller, Peter B. Rnne, Tjerand Silde |
| 2021 | ACISP | Optimal Randomized Partial Checking for Decryption Mix Nets. | Thomas Haines, Johannes Mller |
| 2021 | ACISP | A Novel Proof of Shuffle: Exponentially Secure Cut-and-Choose. | Thomas Haines, Johannes Mller |
| 2021 | FC | New Standards for E-Voting Systems: Reflections on Source Code Examinations. | Thomas Haines, Peter B. Rnne |
| 2021 | SP | Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting. | Thomas Haines, Rajeev Gor, Bhavesh Sharma |
| 2020 | ESORICS | A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing. | Xavier Boyen, Thomas Haines, Johannes Mller |
| 2020 | FC | Vote Selling Resistant Voting. | Colin Boyd, Thomas Haines, Peter B. Rnne |
| 2020 | FC | Short Paper: An Update on Marked Mix-Nets: An Attack, a Fix and PQ Possibilities. | Thomas Haines, Olivier Pereira, Peter B. Rnne |
| 2020 | SP | How not to prove your election outcome. | Thomas Haines, Sarah Jamie Lewis, Olivier Pereira, Vanessa Teague |
| 2019 | CCS | Verified Verifiers for Verifying Elections. | Thomas Haines, Rajeev Gor, Mukesh Tiwari |
| 2019 | INDOCRYPT | A Blind Coupon Mechanism Enabling Veto Voting over Unreliable Networks. | Colin Boyd, Kristian Gjsteen, Clmentine Gritti, Thomas Haines |
| 2018 | ACISP | Forward-Secure Linkable Ring Signatures. | Xavier Boyen, Thomas Haines |
| 2018 | AIED | ITADS: A Real-World Intelligent Tutor to Train Troubleshooting Skills. | Sowmya Ramachandran, Randy Jensen, Jeremy Ludwig, Eric Domeshek, Thomas Haines |
| 2018 | CCS | Graphchain: a Blockchain-Free Scalable Decentralised Ledger. | Xavier Boyen, Christopher Carr, Thomas Haines |