Thomas Haines
Thomas Haines
Verified email at - Homepage
Cited by
Cited by
Blockchain-free cryptocurrencies: A framework for truly decentralised fast transactions
X Boyen, C Carr, T Haines
Cryptology ePrint Archive, 2016
How not to prove your election outcome
T Haines, SJ Lewis, O Pereira, V Teague
2020 IEEE Symposium on Security and Privacy (SP), 644-660, 2020
Graphchain: A blockchain-free scalable decentralised ledger
X Boyen, C Carr, T Haines
Proceedings of the 2nd ACM Workshop on Blockchains, Cryptocurrencies, and …, 2018
SoK: techniques for verifiable mix nets
T Haines, J Müller
2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 49-64, 2020
A verifiable and practical lattice-based decryption mix net with external auditing
X Boyen, T Haines, J Müller
Computer Security–ESORICS 2020: 25th European Symposium on Research in …, 2020
Forward-secure linkable ring signatures
X Boyen, T Haines
Information Security and Privacy: 23rd Australasian Conference, ACISP 2018 …, 2018
Did you mix me? formally verifying verifiable mix nets in electronic voting
T Haines, R Goré, B Sharma
2021 IEEE Symposium on Security and Privacy (SP), 1748-1765, 2021
Verified verifiers for verifying elections
T Haines, R Goré, M Tiwari
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
Surveying definitions of coercion resistance
T Haines, B Smyth
Cryptology ePrint Archive, 2019
Sok: Secure e-voting with everlasting privacy
T Haines, J Mueller, R Mosaheb, I Pryvalov
Proceedings on Privacy Enhancing Technologies (PoPETs), 2023
Votor: conceptually simple remote voting against tiny tyrants
T Haines, X Boyen
Proceedings of the Australasian Computer Science Week Multiconference, 1-13, 2016
Epoque: practical end-to-end verifiable post-quantum-secure e-voting
X Boyen, T Haines, J Müller
2021 IEEE European Symposium on Security and Privacy (EuroS&P), 272-291, 2021
Verifiable homomorphic tallying for the Schulze vote counting scheme
T Haines, D Pattinson, M Tiwari
Verified Software. Theories, Tools, and Experiments: 11th International …, 2020
Improvements in everlasting privacy: efficient and secure zero knowledge proofs
T Haines, C Gritti
Electronic Voting: 4th International Joint Conference, E-Vote-ID 2019 …, 2019
Forward-secure linkable ring signatures from bilinear maps
X Boyen, T Haines
Cryptography 2 (4), 35, 2018
Verifiable decryption in the head
K Gjøsteen, T Haines, J Müller, P Rønne, T Silde
Australasian Conference on Information Security and Privacy, 355-374, 2022
Revisiting practical and usable coercion-resistant remote e-voting
E Estaji, T Haines, K Gjøsteen, PB Rønne, PYA Ryan, N Soroush
Electronic Voting: 5th International Joint Conference, E-Vote-ID 2020 …, 2020
Machine-checked proofs of privacy against malicious boards for Selene & Co
CC Drăgan, F Dupressoir, E Estaji, K Gj, T Haines, PYA Ryan, ...
2022 IEEE 35th Computer Security Foundations Symposium (CSF), 335-347, 2022
Running the race: a swiss voting story
T Haines, O Pereira, V Teague
International Joint Conference on Electronic Voting, 53-69, 2022
New standards for E-voting systems: reflections on source code examinations
T Haines, P Roenne
Financial Cryptography and Data Security. FC 2021 International Workshops …, 2021
The system can't perform the operation now. Try again later.
Articles 1–20