News and EventsEvents ▸ An introduction to analyzing cryptogr...

An introduction to analyzing cryptographic protocols using Taramin prover

Dates: July 17 from 14:00-16:00

Location: QNC1201

Registration: To attend the this program please email us at by July 16,2024.

Abstract: This workshop will provide an introduction to the Tamarin prover, which is a security protocol verification tool that analyzes cryptographic protocols in a symbolic model and can automatically identify attacks or conclude that certain classes of attacks do not exist. The workshop will include a hands-on exercise using the Tamarin prover.

Instructor: Douglas Stebila

  • Dr. Douglas Stebila is an Associate Professor of cryptography in the Department of Combinatorics & Optimization at the University of Waterloo in Waterloo, Ontario, Canada. His research focuses on improving the security of key exchange protocols and Internet cryptography protocols such as TLS and SSH, including the development of quantum-resistant solutions. He is the leader of the Open Quantum Safe project, an open-source software project for prototyping and evaluating quantum-resistant cryptography. He holds an MSc from the University of Oxford and a PhD from the University of Waterloo, and held previous academic appointments at the Queensland University of Technology in Brisbane, Australia, and McMaster University in Hamilton, Ontario, Canada.