Supervision

I am looking to take on PhD and Master’s students at McMaster in the following topic areas:

  • post-quantum / quantum-safe cryptography, especially lattice-based cryptography and code-based cryptography
  • Internet cryptography protocols, such as TLS, SSH, and Tor
  • key exchange protocols and public key cryptography in general
  • formally verified cryptography using proof verification and other formal methods tools

Interested students should contact me by email at last_name first_initial@mcmaster.ca, where last_name is my last name and first_initial is the first initial of my first name.


Current and past students

Please see my research page for a list of current and past PhD students.