Research output per year
Research output per year
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
Dive into the research topics where Thomas Haines is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Find out about recent ANU collaborations across the world by selecting a location on the map OR
-
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 and Business Media Deutschland GmbH, 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 contribution › peer-review
2 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 contribution › peer-review
14 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 and Business Media Deutschland GmbH, 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 contribution › peer-review
Open Access1 Citation (Scopus) -
Epoque: Practical end-to-end verifiable post-quantum-secure E-voting
Boyen, X., Haines, T. & Muller, J., Sept 2021, Proceedings - 2021 IEEE European Symposium on Security and Privacy, Euro S and P 2021. Institute of Electrical and Electronics Engineers Inc., p. 272-291 20 p. (Proceedings - 2021 IEEE European Symposium on Security and Privacy, Euro S and P 2021).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
8 Citations (Scopus) -
Improved Verifiability for BeleniosVS
Haines, T. & Gore, R., 2021, Electronic Voting. R. K. M. V. D. D-C. O. K. P. R. M. (ed.). 1 ed. USA: Springer Cham, p. 15-27Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Projects
- 1 Active
-
Efficient privacy-preserving proofs for secure e-government and e-voting
29/04/22 → 28/10/25
Project: Research