School of Computing
ANU College of Engineering, Computing and Cybernetics
Dr Thomas Haines is a Lecturer and ARC DECRA Fellow at the ANU School of Computing.
Dr Haines is an applied cryptographer specialising in the security of distributed systems. He has been involved with auditing over a dozen different electronic voting systems.
His research interests include applied cryptography, electronic voting, zero-knowledge proofs, machine aided analysis and verification, and secure computation.