Dr Thomas Haines
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
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.
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
Publications
- Boyen, X, Haines, T & Müller, J 2021, 'Epoque: Practical end-to-end verifiable post-quantum-secure E-voting', 2021 IEEE European Symposium on Security and Privacy (EuroS&P), IEEE, USA, pp. 272-291.
- Haines, T & Müller, J 2020, 'SoK: Techniques for Verifiable Mix Nets', IEEE 33rd Computer Security Foundations Symposium (CSF), IEEE, USA, pp. 49-64.
- Haines, T, Lewis, S, Pereira, O et al. 2020, 'How not to prove your election outcome', 41st IEEE Symposium on Security and Privacy (SP 2020), Institute of Electrical and Electronics Engineers (IEEE Inc), New York, pp. 644-660.
- Haines, T, Gore, R & Tiwari, M 2019, 'Verified Verifiers for Verifying Elections', 26th ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, Association for Computing Machinery (ACM), United States, pp. 685-702.
Projects and Grants
Grants information is drawn from ARIES. To add or update Projects or Grants information please contact your College Research Office.
- Efficient privacy-preserving proofs for secure e-government and e-voting (Primary Investigator)
