Thomas Haines - RankMe

65 papers A* 5A 4Misc 6Journal 26Unranked 22

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