BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Drupal iCal API//EN
X-WR-CALNAME:Events items teaser
X-WR-TIMEZONE:America/Toronto
BEGIN:VTIMEZONE
TZID:America/Toronto
X-LIC-LOCATION:America/Toronto
BEGIN:DAYLIGHT
TZNAME:EDT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
DTSTART:20240310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20231105T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69d1b1b172f30
DTSTART;TZID=America/Toronto:20240717T140000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20240717T160000
URL:https://uwaterloo.ca/institute-for-quantum-computing/events/introductio
 n-analyzing-cryptographic-protocols-using-taramin
LOCATION:QNC - Quantum Nano Centre Room 1201 200 University Avenue West Wat
 erloo ON N2L 3G1 Canada
SUMMARY:An introduction to analyzing cryptographic protocols using Taramin\
 nprover
CLASS:PUBLIC
DESCRIPTION:DOUGLAS STEBILA\, UNIVERSITY OF WATERLOO\n\nQNC building\, 200 
 University Ave. Room 1201\, Waterloo \n\nThis workshop will provide an in
 troduction to the Tamarin prover\n[https://tamarin-prover.com-/]\, which 
 is a security protocol\nverification tool that analyzes cryptographic prot
 ocols in a symbolic\nmodel and can automatically identify attacks or concl
 ude that certain\nclasses of attacks do not exist. The workshop will inclu
 de a hands-on\nexercise using the Tamarin prover.\n\nTo attend this progra
 m please email us at cryptoworks21@uwaterloo.ca\nby July 16\, 2024.
DTSTAMP:20260405T004953Z
END:VEVENT
END:VCALENDAR