Dr Thomas Haines

Senior Lecturer
ANU College of Engineering, Computing and Cybernetics

Areas of expertise

  • Analysis Of Algorithms And Complexity 080201
  • Computational Logic And Formal Languages 080203
  • Computer System Security 080303
  • Data Encryption 080402

Research interests

Applied Cryptography

Electronic Voting

Zero-knowledge proofs

Machine aided analysis and verification

Secure computation


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.


Available student projects

I have student projects avaliable for honours and HDR students. Topics included applied cryptography and machine aided verification.

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

Current student projects

Currently available student projects:

  • Investigating the iVote online voting system used in NSW and WA
  • Analysing the usefulness of succinct interactive zero-knowledge proofs to voting
  • Human public key crypto and it's applications to voting
  • Post-quantum marked mix-nets
  • Investigating the Estonian online voting system

In general I am happy to supervise any project in applied cryptography by agreement with the student in question

Projects and Grants

Grants information is drawn from ARIES. To add or update Projects or Grants information please contact your College Research Office.

Return to top

Updated:  26 June 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers