Thomas Haines

Orcid: 0000-0003-4954-5629

According to our database1, Thomas Haines authored at least 41 papers between 2016 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Security and Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System.
Proceedings of the 33rd USENIX Security Symposium, 2024

2023
SoK: Secure E-Voting with Everlasting Privacy.
Proc. Priv. Enhancing Technol., January, 2023

Machine-checked proofs of privacy against malicious boards for Selene & Co.
J. Comput. Secur., 2023

Coercion Mitigation for Voting Systems with Trackers: A Selene Case Study.
IACR Cryptol. ePrint Arch., 2023

Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth.
Proceedings of the 32nd USENIX Security Symposium, 2023

Scalable Coercion-Resistant E-Voting under Weaker Trust Assumptions.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

On the Auditability of the Estonian IVXV System - And an Attack on Individual Verifiability.
Proceedings of the Financial Cryptography and Data Security. FC 2023 International Workshops, 2023

Machine-Checked Proofs of Accountability: How to sElect Who is to Blame.
Proceedings of the Computer Security - ESORICS 2023, 2023

2022
Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System.
CoRR, 2022

Running the Race: A Swiss Voting Story.
Proceedings of the Electronic Voting - 7th International Joint Conference, 2022

2021
New Standards for E-Voting Systems: Reflections on Source Code Examinations.
IACR Cryptol. ePrint Arch., 2021

A Novel Proof of Shuffle: Exponentially Secure Cut-and-Choose.
IACR Cryptol. ePrint Arch., 2021

Optimal Randomized Partial Checking for Decryption Mix Nets.
IACR Cryptol. ePrint Arch., 2021

Improved Verifiability for BeleniosVS.
IACR Cryptol. ePrint Arch., 2021

Verifiable Decryption in the Head.
IACR Cryptol. ePrint Arch., 2021

Epoque: Practical End-to-End Verifiable Post-Quantum-Secure E-Voting.
IACR Cryptol. ePrint Arch., 2021

Towards Verifiable Remote Voting with Paper Assurance.
CoRR, 2021

2020
SoK: Techniques for Verifiable Mix Nets.
IACR Cryptol. ePrint Arch., 2020

Machine-checking the universal verifiability of ElectionGuard.
IACR Cryptol. ePrint Arch., 2020

Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting.
IACR Cryptol. ePrint Arch., 2020

Efficient mixing of arbitrary ballots with everlasting privacy: How to verifiably mix the PPATC scheme.
IACR Cryptol. ePrint Arch., 2020

A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing.
IACR Cryptol. ePrint Arch., 2020

How not to prove your election outcome.
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Short Paper: An Update on Marked Mix-Nets: An Attack, a Fix and PQ Possibilities.
Proceedings of the Financial Cryptography and Data Security, 2020

Vote Selling Resistant Voting.
Proceedings of the Financial Cryptography and Data Security, 2020

Revisiting Practical and Usable Coercion-Resistant Remote E-Voting.
Proceedings of the Electronic Voting - 5th International Joint Conference, 2020

2019
Improvements in Everlasting Privacy: Efficient and Secure Zero Knowledge Proofs.
IACR Cryptol. ePrint Arch., 2019

A Description and Proof of a Generalised and Optimised Variant of Wikström's Mixnet.
CoRR, 2019

Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

Cronus: Everlasting Privacy with Audit and Cast.
Proceedings of the Secure IT Systems, 2019

A Blind Coupon Mechanism Enabling Veto Voting over Unreliable Networks.
Proceedings of the Progress in Cryptology - INDOCRYPT 2019, 2019

Verified Verifiers for Verifying Elections.
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018
Forward-Secure Linkable Ring Signatures from Bilinear Maps.
Cryptogr., 2018

Graphchain: a Blockchain-Free Scalable Decentralised Ledger.
Proceedings of the 2nd ACM Workshop on Blockchains, Cryptocurrencies, and Contracts, 2018

ITADS: A Real-World Intelligent Tutor to Train Troubleshooting Skills.
Proceedings of the Artificial Intelligence in Education - 19th International Conference, 2018

Forward-Secure Linkable Ring Signatures.
Proceedings of the Information Security and Privacy - 23rd Australasian Conference, 2018

2017
Key Recovery: Inert and Public.
IACR Cryptol. ePrint Arch., 2017

Bitcoin Unchained.
ERCIM News, 2017

2016
Blockchain-Free Cryptocurrencies. A Rational Framework for Truly Decentralised Fast Transactions.
IACR Cryptol. ePrint Arch., 2016

Truly Multi-authority 'Prêt-à-Voter'.
Proceedings of the Electronic Voting - First International Joint Conference, 2016

VOTOR: conceptually simple remote voting against tiny tyrants.
Proceedings of the Australasian Computer Science Week Multiconference, 2016


  Loading...