Blockchain-free cryptocurrencies: A framework for truly decentralised fast transactions X Boyen, C Carr, T Haines Cryptology ePrint Archive, 2016 | 52* | 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 | 25 | 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 | 25 | 2018 |
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 | 18 | 2020 |
SoK: techniques for verifiable mix nets T Haines, J Müller 2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 49-64, 2020 | 13 | 2020 |
Forward-secure linkable ring signatures X Boyen, T Haines Australasian Conference on Information Security and Privacy, 245-264, 2018 | 12 | 2018 |
Verified verifiers for verifying elections T Haines, R Goré, M Tiwari Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019 | 10 | 2019 |
Improvements in everlasting privacy: efficient and secure zero knowledge proofs T Haines, C Gritti International Joint Conference on Electronic Voting, 116-133, 2019 | 7 | 2019 |
Votor: conceptually simple remote voting against tiny tyrants T Haines, X Boyen Proceedings of the Australasian Computer Science Week Multiconference, 1-13, 2016 | 7 | 2016 |
Forward-secure linkable ring signatures from bilinear maps X Boyen, T Haines Cryptography 2 (4), 35, 2018 | 5 | 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 | 4 | 2021 |
Verifiable decryption in the head K Gjøsteen, T Haines, J Müller, P Rønne, T Silde Cryptology ePrint Archive, 2021 | 4 | 2021 |
A Description and Proof of a Generalised and Optimised Variant of Wikstr\" om's Mixnet T Haines arXiv preprint arXiv:1901.08371, 2019 | 4 | 2019 |
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 | 3 | 2019 |
Truly Multi-authority ‘Prêt-à-Voter’ T Haines, X Boyen International Joint Conference on Electronic Voting, 56-72, 2016 | 3 | 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 | 2 | 2021 |
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 | 2 | 2020 |
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 | 2 | 2019 |
Cronus: everlasting privacy with audit and cast T Haines Nordic Conference on Secure IT Systems, 53-68, 2019 | 2 | 2019 |
Surveying definitions of coercion resistance T Haines, B Smyth Cryptology ePrint Archive, 2019 | 2 | 2019 |