Thomas Haines

Senior Lecturer and ARC DECRA Fellow

Picture of Thomas Haines

CSIT Building 108, Office N216


Computing Foundations

Google Scholar


Research Interests

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


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

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.


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

You are on Aboriginal land.

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

bars search times arrow-up