BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:Europe/Vienna
BEGIN:DAYLIGHT
DTSTART:20180325T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20181028T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260406T034548Z
UID:5aec3e8ca793e943328549@ist.ac.at
DTSTART:20180607T090000
DTEND:20180607T100000
DESCRIPTION:Speaker: Gilles Barthe\nhosted by Krzysztof Pietrzak\nAbstract:
  We need cryptography that we can trust. Yet the design\, analysis\, and i
 mplementation of cryptographic libraries is a challenging task\, that requ
 ires insights across various areas of mathematics and computer science. Co
 mputer-aided cryptography is a young research area which aims to provide m
 ethods based on formal methods\, and in particular program synthesis and p
 rogram verification for exploring the design space of cryptographic constr
 uctions and for building zero-defect cryptographic libraries.  The talk wi
 ll reflect on the challenges\, benefits and opportunities for applying com
 puter-aided formal methods in cryptography.
LOCATION:Mondi Seminar Room 2\, Central Building\, ISTA
ORGANIZER:pdelreal@ist.ac.at
SUMMARY:Gilles Barthe: Computer-aided cryptography
URL:https://talks-calendar.ista.ac.at/events/1249
END:VEVENT
END:VCALENDAR