Thomas Haines

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 55

Top Topics

Electronic Voting

Top Venues

IACR Cryptol. ePrint Arch.

Financial Cryptography Workshops

Publications

Tingfeng Yu, James Henderson, Alwen Tiu, Thomas Haines
Security and Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System. USENIX Security Symposium (2024)
Thomas Haines, Johannes Müller, Iñigo Querejeta-Azurmendi
Scalable Coercion-Resistant E-Voting under Weaker Trust Assumptions. SAC (2023)
Anggrio Sutopo, Thomas Haines, Peter B. Rønne
On the Auditability of the Estonian IVXV System - And an Attack on Individual Verifiability. FC Workshops (2023)
Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
Machine-checked proofs of privacy against malicious boards for Selene & Co. J. Comput. Secur. 31 (5) (2023)
Kristian Gjøsteen, Thomas Haines, Morten Rotvold Solberg
Coercion Mitigation for Voting Systems with Trackers: A Selene Case Study. IACR Cryptol. ePrint Arch. 2023 (2023)
Thomas Haines, Rajeev Goré, Mukesh Tiwari
Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth. USENIX Security Symposium (2023)
Constantin Catalin Dragan, François Dupressoir, Kristian Gjøsteen, Thomas Haines, Peter B. Rønne, Morten Rotvold Solberg
Machine-Checked Proofs of Accountability: How to sElect Who is to Blame. ESORICS (3) (2023)
Thomas Haines, Rafieh Mosaheb, Johannes Müller, Ivan Pryvalov
SoK: Secure E-Voting with Everlasting Privacy. Proc. Priv. Enhancing Technol. 2023 (1) (2023)
Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co. IACR Cryptol. ePrint Arch. 2022 (2022)
Tingfeng Yu, James Henderson, Alwen Tiu, Thomas Haines
Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System. CoRR (2022)
Thomas Haines, Olivier Pereira, Vanessa Teague
Running the Race: A Swiss Voting Story. E-Vote-ID (2022)
Kristian Gjøsteen, Thomas Haines, Johannes Müller, Peter B. Rønne, Tjerand Silde
Verifiable Decryption in the Head. ACISP (2022)
Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co. CSF (2022)
Thomas Haines, Johannes Müller
Optimal Randomized Partial Checking for Decryption Mix Nets. IACR Cryptol. ePrint Arch. 2021 (2021)
Xavier Boyen, Thomas Haines, Johannes Müller
Epoque: Practical End-to-End Verifiable Post-Quantum-Secure E-Voting. IACR Cryptol. ePrint Arch. 2021 (2021)
Thomas Haines, Rajeev Goré, Bhavesh Sharma
Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting. IEEE Symposium on Security and Privacy (2021)
Eleanor McMurtry, Xavier Boyen, Chris Culnane, Kristian Gjøsteen, Thomas Haines, Vanessa Teague
Towards Verifiable Remote Voting with Paper Assurance. CoRR (2021)
Xavier Boyen, Thomas Haines, Johannes Müller
Epoque: Practical End-to-End Verifiable Post-Quantum-Secure E-Voting. EuroS&P (2021)
Thomas Haines, Peter B. Rønne
New Standards for E-Voting Systems: Reflections on Source Code Examinations. IACR Cryptol. ePrint Arch. 2021 (2021)
Thomas Haines, Johannes Müller
A Novel Proof of Shuffle: Exponentially Secure Cut-and-Choose. ACISP (2021)
Thomas Haines, Peter B. Rønne
New Standards for E-Voting Systems: Reflections on Source Code Examinations. Financial Cryptography Workshops (2021)
Thomas Haines, Rajeev Goré
Improved Verifiability for BeleniosVS. IACR Cryptol. ePrint Arch. 2021 (2021)
Thomas Haines, Johannes Müller
A Novel Proof of Shuffle: Exponentially Secure Cut-and-Choose. IACR Cryptol. ePrint Arch. 2021 (2021)
Kristian Gjøsteen, Thomas Haines, Johannes Müller, Peter B. Rønne, Tjerand Silde
Verifiable Decryption in the Head. IACR Cryptol. ePrint Arch. 2021 (2021)
Thomas Haines, Johannes Müller
Optimal Randomized Partial Checking for Decryption Mix Nets. ACISP (2021)
Thomas Haines, Sarah Jamie Lewis, Olivier Pereira, Vanessa Teague
How not to prove your election outcome. IEEE Symposium on Security and Privacy (2020)
Kristian Gjøsteen, Thomas Haines, Morten Rotvold Solberg
Efficient mixing of arbitrary ballots with everlasting privacy: How to verifiably mix the PPATC scheme. IACR Cryptol. ePrint Arch. 2020 (2020)
Ehsan Estaji, Thomas Haines, Kristian Gjøsteen, Peter B. Rønne, Peter Y. A. Ryan, Najmeh Soroush
Revisiting Practical and Usable Coercion-Resistant Remote E-Voting. E-VOTE-ID (2020)
Xavier Boyen, Thomas Haines, Johannes Müller
A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing. IACR Cryptol. ePrint Arch. 2020 (2020)
Thomas Haines, Rajeev Goré, Bhavesh Sharma
Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting. IACR Cryptol. ePrint Arch. 2020 (2020)
Thomas Haines, Rajeev Goré, Jack Stodart
Machine-checking the universal verifiability of ElectionGuard. IACR Cryptol. ePrint Arch. 2020 (2020)
Thomas Haines, Johannes Müller
SoK: Techniques for Verifiable Mix Nets. CSF (2020)
Kristian Gjøsteen, Thomas Haines, Morten Rotvold Solberg
Efficient Mixing of Arbitrary Ballots with Everlasting Privacy: How to Verifiably Mix the PPATC Scheme. NordSec (2020)
Thomas Haines, Rajeev Goré, Jack Stodart
Machine-Checking the Universal Verifiability of ElectionGuard. NordSec (2020)
Colin Boyd, Thomas Haines, Peter B. Rønne
Vote Selling Resistant Voting. Financial Cryptography Workshops (2020)
Xavier Boyen, Thomas Haines, Johannes Müller
A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing. ESORICS (2) (2020)
Thomas Haines, Olivier Pereira, Peter B. Rønne
Short Paper: An Update on Marked Mix-Nets: An Attack, a Fix and PQ Possibilities. Financial Cryptography Workshops (2020)
Thomas Haines, Johannes Müller
SoK: Techniques for Verifiable Mix Nets. IACR Cryptol. ePrint Arch. 2020 (2020)
Colin Boyd, Kristian Gjøsteen, Clémentine Gritti, Thomas Haines
A Blind Coupon Mechanism Enabling Veto Voting over Unreliable Networks. INDOCRYPT (2019)
Thomas Haines, Dirk Pattinson, Mukesh Tiwari
Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme. VSTTE (2019)
Thomas Haines, Clémentine Gritti
Improvements in Everlasting Privacy: Efficient and Secure Zero Knowledge Proofs. IACR Cryptol. ePrint Arch. 2019 (2019)
Thomas Haines, Rajeev Goré, Mukesh Tiwari
Verified Verifiers for Verifying Elections. CCS (2019)
Thomas Haines
Cronus: Everlasting Privacy with Audit and Cast. NordSec (2019)
Thomas Haines
A Description and Proof of a Generalised and Optimised Variant of Wikström's Mixnet. CoRR (2019)
Thomas Haines, Clémentine Gritti
Improvements in Everlasting Privacy: Efficient and Secure Zero Knowledge Proofs. E-VOTE-ID (2019)
Xavier Boyen, Christopher Carr, Thomas Haines
Graphchain: a Blockchain-Free Scalable Decentralised Ledger. BCC@AsiaCCS (2018)
Sowmya Ramachandran, Randy Jensen, Jeremy Ludwig, Eric Domeshek, Thomas Haines
ITADS: A Real-World Intelligent Tutor to Train Troubleshooting Skills. AIED (2) (2018)
Xavier Boyen, Thomas Haines
Forward-Secure Linkable Ring Signatures from Bilinear Maps. Cryptogr. 2 (4) (2018)
Xavier Boyen, Thomas Haines
Forward-Secure Linkable Ring Signatures. ACISP (2018)
Colin Boyd, Xavier Boyen, Christopher Carr, Thomas Haines
Key Recovery: Inert and Public. IACR Cryptol. ePrint Arch. 2017 (2017)
Christopher Carr, Colin Boyd, Xavier Boyen, Thomas Haines
Bitcoin Unchained. ERCIM News 2017 (110) (2017)
Thomas Haines, Xavier Boyen
VOTOR: conceptually simple remote voting against tiny tyrants. ACSW (2016)
Xavier Boyen, Christopher Carr, Thomas Haines
Blockchain-Free Cryptocurrencies. A Rational Framework for Truly Decentralised Fast Transactions. IACR Cryptol. ePrint Arch. 2016 (2016)
Colin Boyd, Xavier Boyen, Christopher Carr, Thomas Haines
Key Recovery: Inert and Public. Mycrypt (2016)
Thomas Haines, Xavier Boyen
Truly Multi-authority 'Prêt-à-Voter'. E-VOTE-ID (2016)