Personal profile
Biography
I obtained my PhD degree, which focused on secure computation from cryptography, from the Queensland University of Technology in 2017. After completing my PhD, I was a research and development manager at Polyas GmbH where I researched, developed and implemented cryptographic voting systems. In 2019 I joined the Norwegian University of Science and Technology as a Postdoc. I joined ANU in 2021.
Research Interests
Applied Cryptography
Electronic Voting
Zero-knowledge proofs
Machine aided analysis and verification
Secure computation
Research student supervision
- Registered to supervise
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
On the Applicability of STARKs to Counted-as-Collected Verification in Existing Homomorphic E-Voting Systems
Harrison, M. & Haines, T., 2025, Financial Cryptography and Data Security. FC 2024 International Workshops - Voting, DeFI, WTSC, CoDecFin, Revised Selected Papers. Budurushi, J., Kulyk, O., Allen, S., Diamandis, T., Klages-Mundt, A., Bracciali, A., Goodell, G. & Matsuo, S. (eds.). Springer Science+Business Media B.V., p. 50-65 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14746 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review
Open Access -
Security and Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System
Yu, T., Henderson, J., Tiu, A. & Haines, T., 2024, Proceedings of the 33rd USENIX Security Symposium. USENIX Association, p. 5449-5466 18 p. (Proceedings of the 33rd USENIX Security Symposium).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review
5 Citations (Scopus) -
A Novel Proof of Shuffle: Exponentially Secure Cut-and-Choose
Haines, T. & Müller, J., 2021, Information Security and Privacy - 26th Australasian Conference, ACISP 2021, Proceedings. Baek, J. & Ruj, S. (eds.). Springer Science+Business Media B.V., p. 293-308 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13083 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review
3 Citations (Scopus) -
Did you mix me? Formally verifying verifiable mix nets in electronic voting
Haines, T., Gore, R. & Sharma, B., May 2021, Proceedings - 2021 IEEE Symposium on Security and Privacy, SP 2021. Institute of Electrical and Electronics Engineers Inc., p. 1748-1765 18 p. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2021-May).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review
18 Citations (Scopus) -
Efficient Mixing of Arbitrary Ballots with Everlasting Privacy: How to Verifiably Mix the PPATC Scheme
Gjøsteen, K., Haines, T. & Solberg, M. R., 2021, Secure IT Systems - 25th Nordic Conference, NordSec 2020, Proceedings. Asplund, M. & Nadjm-Tehrani, S. (eds.). Springer Science+Business Media B.V., p. 92-107 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12556 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review
Open Access1 Citation (Scopus)
Projects
- 1 Active
-
Efficient privacy-preserving proofs for secure e-government and e-voting
Haines, T. (PI)
29/04/22 → 27/10/26
Project: Research