Thomas Haines

Lecturer and ARC DECRA Fellow


Research Interests

  • Applied Cryptography
  • Electronic Voting
  • Zero-knowledge proofs
  • Machine aided analysis and verification
  • Secure computation


My research work focuses on applied cryptography and increasingly on the intersection of cryptography and formal methods. I have particuraly focused on the security of deployed electronic voting systems.

I currently have several funded PhD positions avaliable on the intersection of cryptography and formal methods; the positions are part of a larger project which aims to ensure that e-government, e-health, e-commerce and e-voting are secure and trustworthy by inventing new ways to verify these systems without infringing privacy. The project expects to use innovative techniques from cryptography to support development of trustworthy systems.

(Students enquiring about research projects and supervision are requested to detail how their interests and background relate to my research interests.)


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.

Activities & Awards#

bars search times arrow-up