BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:36323934-6666-4963-a262-323035393531
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:31633165-3664-4038-a637-326161353563
DTSTAMP:20260723T081038Z
DESCRIPTION:
DTSTART:20181108T111500Z
DTEND:20181108T130000Z
SUMMARY:Reading Group
END:VEVENT
BEGIN:VEVENT
UID:39386632-6239-4638-a166-653736623364
DTSTAMP:20260723T081038Z
DESCRIPTION:
DTSTART:20181122T111500Z
DTEND:20181122T130000Z
SUMMARY:Reading Group
END:VEVENT
BEGIN:VEVENT
UID:34666639-3839-4261-b334-376132646537
DTSTAMP:20260723T081038Z
DESCRIPTION:
DTSTART:20181213T110000Z
DTEND:20181213T130000Z
SUMMARY:Paper Presentation: 2: SAT-based model-checking for security protoc
 ols analysis
END:VEVENT
BEGIN:VEVENT
UID:36363638-6634-4361-a537-323566613063
DTSTAMP:20260723T081038Z
DESCRIPTION:
DTSTART:20181220T110000Z
DTEND:20181220T130000Z
SUMMARY:Paper Presentation: 3: Automatic Verification of Security Protocols
  in the Symbolic Model: the Verifier ProVerif
END:VEVENT
BEGIN:VEVENT
UID:64363531-3464-4163-a639-386665353533
DTSTAMP:20260723T081038Z
DESCRIPTION:
DTSTART:20190110T110000Z
DTEND:20190110T130000Z
SUMMARY:Paper Presentation: 4: Secure Information Flow as a Safety Problem
END:VEVENT
BEGIN:VEVENT
UID:37393031-3861-4538-b766-646566626139
DTSTAMP:20260723T081038Z
DESCRIPTION:
DTSTART:20190117T110000Z
DTEND:20190117T130000Z
SUMMARY:Paper Presentation: 7: Automatic Discovery and Quantification of In
 formation Leaks
END:VEVENT
BEGIN:VEVENT
UID:34643430-6262-4364-a265-316536353265
DTSTAMP:20260723T081038Z
DESCRIPTION:
DTSTART:20190124T110000Z
DTEND:20190124T130000Z
SUMMARY:Paper Presentation: 8: Verifying Constant-Time Implementations
END:VEVENT
END:VCALENDAR