BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:63613435-3733-4431-b163-626664353435
X-WR-CALNAME:Selected Topics in Formal Methods for Security Calendar
X-WR-CALDESC:Events of the lecture Selected Topics in Formal Methods for Se
 curity
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:37616161-6133-4662-a637-663630343437
DTSTAMP:20260905T193952Z
DESCRIPTION:
DTSTART:20181108T111500Z
DTEND:20181108T130000Z
SUMMARY:Fmsem: Reading Group
END:VEVENT
BEGIN:VEVENT
UID:61376162-6639-4939-b934-346634366231
DTSTAMP:20260905T193952Z
DESCRIPTION:
DTSTART:20181122T111500Z
DTEND:20181122T130000Z
SUMMARY:Fmsem: Reading Group
END:VEVENT
BEGIN:VEVENT
UID:66313435-6439-4266-b336-653663663230
DTSTAMP:20260905T193952Z
DESCRIPTION:
DTSTART:20181213T110000Z
DTEND:20181213T130000Z
SUMMARY:Fmsem: Paper Presentation: 2: SAT-based model-checking for security
  protocols analysis
END:VEVENT
BEGIN:VEVENT
UID:38643064-6438-4738-b136-393334656133
DTSTAMP:20260905T193952Z
DESCRIPTION:
DTSTART:20181220T110000Z
DTEND:20181220T130000Z
SUMMARY:Fmsem: Paper Presentation: 3: Automatic Verification of Security Pr
 otocols in the Symbolic Model: the Verifier ProVerif
END:VEVENT
BEGIN:VEVENT
UID:32306635-6463-4262-a436-666564656638
DTSTAMP:20260905T193952Z
DESCRIPTION:
DTSTART:20190110T110000Z
DTEND:20190110T130000Z
SUMMARY:Fmsem: Paper Presentation: 4: Secure Information Flow as a Safety P
 roblem
END:VEVENT
BEGIN:VEVENT
UID:66303665-3231-4063-a464-383464323031
DTSTAMP:20260905T193952Z
DESCRIPTION:
DTSTART:20190117T110000Z
DTEND:20190117T130000Z
SUMMARY:Fmsem: Paper Presentation: 7: Automatic Discovery and Quantificatio
 n of Information Leaks
END:VEVENT
BEGIN:VEVENT
UID:30333331-3832-4832-a337-316331663662
DTSTAMP:20260905T193952Z
DESCRIPTION:
DTSTART:20190124T110000Z
DTEND:20190124T130000Z
SUMMARY:Fmsem: Paper Presentation: 8: Verifying Constant-Time Implementatio
 ns
END:VEVENT
END:VCALENDAR