Follow
Thomas Haines
Thomas Haines
Verified email at anu.edu.au - Homepage
Title
Cited by
Cited by
Year
Blockchain-free cryptocurrencies: A framework for truly decentralised fast transactions
X Boyen, C Carr, T Haines
Cryptology ePrint Archive, 2016
55*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
382020
Graphchain: a blockchain-free scalable decentralised ledger
X Boyen, C Carr, T Haines
Proceedings of the 2nd ACM Workshop on Blockchains, Cryptocurrencies, and …, 2018
332018
A verifiable and practical lattice-based decryption mix net with external auditing
X Boyen, T Haines, J Müller
European Symposium on Research in Computer Security, 336-356, 2020
222020
SoK: techniques for verifiable mix nets
T Haines, J Müller
2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 49-64, 2020
222020
Verified verifiers for verifying elections
T Haines, R Goré, M Tiwari
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
142019
Forward-secure linkable ring signatures
X Boyen, T Haines
Australasian Conference on Information Security and Privacy, 245-264, 2018
142018
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
102021
Improvements in everlasting privacy: efficient and secure zero knowledge proofs
T Haines, C Gritti
International Joint Conference on Electronic Voting, 116-133, 2019
72019
Votor: conceptually simple remote voting against tiny tyrants
T Haines, X Boyen
Proceedings of the Australasian Computer Science Week Multiconference, 1-13, 2016
72016
Verifiable decryption in the head
K Gjøsteen, T Haines, J Müller, P Rønne, T Silde
Cryptology ePrint Archive, 2021
62021
Forward-secure linkable ring signatures from bilinear maps
X Boyen, T Haines
Cryptography 2 (4), 35, 2018
62018
Surveying definitions of coercion resistance
T Haines, B Smyth
Cryptology ePrint Archive, 2019
52019
Revisiting practical and usable coercion-resistant remote e-voting
E Estaji, T Haines, K Gjøsteen, PB Rønne, PYA Ryan, N Soroush
International Joint Conference on Electronic Voting, 50-66, 2020
42020
Verifiable homomorphic tallying for the Schulze vote counting scheme
T Haines, D Pattinson, M Tiwari
Working Conference on Verified Software: Theories, Tools, and Experiments, 36-53, 2019
42019
A Description and Proof of a Generalised and Optimised Variant of Wikstr\" om's Mixnet
T Haines
arXiv preprint arXiv:1901.08371, 2019
42019
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
32021
New Standards for E-Voting Systems: Reflections on Source Code Examinations
T Haines, P Roenne
International Conference on Financial Cryptography and Data Security, 279-289, 2021
32021
A Blind Coupon Mechanism Enabling Veto Voting over Unreliable Networks
C Boyd, K Gjøsteen, C Gritti, T Haines
International Conference on Cryptology in India, 250-270, 2019
32019
Key recovery: Inert and public
C Boyd, X Boyen, C Carr, T Haines
International Conference on Cryptology in Malaysia, 111-126, 2016
32016
The system can't perform the operation now. Try again later.
Articles 1–20