BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//talks.secworkshop.events//osw2026//speaker//8NHPGP
BEGIN:VTIMEZONE
TZID:CET
BEGIN:STANDARD
DTSTART:20001029T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-osw2026-N9DFJH@talks.secworkshop.events
DTSTART;TZID=CET:20260529T093000
DTEND;TZID=CET:20260529T100000
DESCRIPTION:We give an overview of formal methods\, including mechanized ap
 proaches\, and present our prior and ongoing work on finding attacks and c
 arrying out proofs for authentication and authorization protocols.
DTSTAMP:20260517T041414Z
LOCATION:Work Lab II
SUMMARY:Attacks and Security Proofs for Authentication and Authorization Pr
 otocols - Pedram Hosseyni
URL:https://talks.secworkshop.events/osw2026/talk/N9DFJH/
END:VEVENT
END:VCALENDAR