| 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 | 62 | 2020 |
| Blockchain-free cryptocurrencies: A framework for truly decentralised fast transactions X Boyen, C Carr, T Haines Cryptology ePrint Archive, 2016 | 60* | 2016 |
| Graphchain: A blockchain-free scalable decentralised ledger X Boyen, C Carr, T Haines Proceedings of the 2nd ACM Workshop on Blockchains, Cryptocurrencies, and …, 2018 | 56 | 2018 |
| SoK: techniques for verifiable mix nets T Haines, J Müller 2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 49-64, 2020 | 33 | 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 | 28 | 2020 |
| Forward-secure linkable ring signatures X Boyen, T Haines Information Security and Privacy: 23rd Australasian Conference, ACISP 2018 …, 2018 | 22 | 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 | 21 | 2021 |
| Verified verifiers for verifying elections T Haines, R Goré, M Tiwari Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019 | 18 | 2019 |
| Sok: Secure e-voting with everlasting privacy T Haines, J Mueller, R Mosaheb, I Pryvalov Privacy Enhancing Technologies Symposium (PETS), 2023 | 17 | 2023 |
| Surveying definitions of coercion resistance T Haines, B Smyth Cryptology ePrint Archive, 2019 | 15 | 2019 |
| 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 | 12 | 2021 |
| 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 | 11 | 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 | 10 | 2020 |
| Verifiable homomorphic tallying for the Schulze vote counting scheme T Haines, D Pattinson, M Tiwari Verified Software. Theories, Tools, and Experiments: 11th International …, 2020 | 10 | 2020 |
| Votor: conceptually simple remote voting against tiny tyrants T Haines, X Boyen Proceedings of the Australasian Computer Science Week Multiconference, 1-13, 2016 | 10 | 2016 |
| 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 | 9 | 2019 |
| Forward-secure linkable ring signatures from bilinear maps X Boyen, T Haines Cryptography 2 (4), 35, 2018 | 9 | 2018 |
| Springer: Berlin M Bernhard, A Bracciali, L Gudgeon, T Haines, A Klages-Mundt, S Matsuo, ... Heidelberg, Germany, 2013 | 9 | 2013 |
| Scalable coercion-resistant E-Voting under weaker trust assumptions T Haines, J Müller, I Querejeta-Azurmendi Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 1576-1584, 2023 | 8 | 2023 |
| Machine-checked proofs of privacy against malicious boards for Selene & Co 1 CC Drăgan, F Dupressoir, E Estaji, K Gjøsteen, T Haines, PYA Ryan, ... Journal of Computer Security 31 (5), 469-499, 2023 | 8 | 2023 |
