An introduction to analyzing cryptographic protocols using Taramin prover

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

Location: QNC 1501

Registration: To attend the this program please email us at cryptoworks21@uwaterloo.ca 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.

Please note that this workshop on Tamarin will include the opportunity for hands-on exercises using Tamarin on your own laptop. In preparation you might want to download and install Tamarin following these instructions.

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.