BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:François Dupressoir
DTSTART:20210927T170000Z
DTEND:20210927T200000Z
DTSTAMP:20260417T011647Z
UID:SAC2021SS/1
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SAC2021SS/1/
 ">Machine-Checked Cryptography with EasyCrypt and Jasmin (Part I)</a>\nby 
 François Dupressoir as part of Selected Areas in Cryptography 2021 Summer
  school\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/SAC2021SS/1/
END:VEVENT
END:VCALENDAR