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:20260416T222624Z
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
BEGIN:VEVENT
SUMMARY:Break
DTSTART:20210927T200000Z
DTEND:20210927T203000Z
DTSTAMP:20260416T222624Z
UID:SAC2021SS/2
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SAC2021SS/2/
 ">Break</a>\nby Break as part of Selected Areas in Cryptography 2021 Summe
 r school\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/SAC2021SS/2/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Vincent Laporte & Benjamin Grégoire
DTSTART:20210927T203000Z
DTEND:20210927T233000Z
DTSTAMP:20260416T222624Z
UID:SAC2021SS/3
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SAC2021SS/3/
 ">Machine-Checked Cryptography with EasyCrypt and Jasmin (Part II)</a>\nby
  Vincent Laporte & Benjamin Grégoire as part of Selected Areas in Cryptog
 raphy 2021 Summer school\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/SAC2021SS/3/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Ania M. Piotrowska
DTSTART:20210928T170000Z
DTEND:20210928T183000Z
DTSTAMP:20260416T222624Z
UID:SAC2021SS/5
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SAC2021SS/5/
 ">Introduction to anonymous communication with mix networks</a>\nby Ania M
 . Piotrowska as part of Selected Areas in Cryptography 2021 Summer school\
 n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/SAC2021SS/5/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Britta Hale
DTSTART:20210928T213000Z
DTEND:20210928T230000Z
DTSTAMP:20260416T222624Z
UID:SAC2021SS/6
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SAC2021SS/6/
 ">Secure Messaging Protocols – Then\, Now\, and Next</a>\nby Britta Hale
  as part of Selected Areas in Cryptography 2021 Summer school\n\nAbstract:
  TBA\n
LOCATION:https://researchseminars.org/talk/SAC2021SS/6/
END:VEVENT
END:VCALENDAR