An introduction to analyzing cryptographic protocols using Taramin prover

Douglas Stebila, University of Waterloo

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.

To attend this program please email us at cryptoworks21@uwaterloo.ca by July 16, 2024.

CryptoWorks21

Add event to calendar

Apple  Google  Office 365  Outlook  Outlook.com  Yahoo