BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:65623934-3733-4436-a561-636131613230
X-WR-CALNAME:Hands-On Protocol Verification Calendar
X-WR-CALDESC:Termine der Vorlesung Hands-On Protocol Verification
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:37323565-3932-4134-b934-323561643565
DTSTAMP:20260611T032412Z
DESCRIPTION:We will discuss course modalities.
DTSTART:20181023T103000Z
DTEND:20181023T113000Z
LOCATION:E9.1 0.06
SUMMARY:Handson18: Kick-off
END:VEVENT
BEGIN:VEVENT
UID:66646639-6635-4135-b334-396339386636
DTSTAMP:20260611T032412Z
DESCRIPTION:1. Intro to symblic model of crypto\n2. first project proposal
 \n3. try to fix two intro talks for 'Discussion 2'
DTSTART:20181106T111500Z
DTEND:20181106T131500Z
LOCATION:2.22
SUMMARY:Handson18: Intro session 1
END:VEVENT
BEGIN:VEVENT
UID:39643638-3462-4261-b061-356134393434
DTSTAMP:20260611T032412Z
DESCRIPTION:1. introduction to applied pi and modelling considerations\n2. 
 discuss and decide projects.
DTSTART:20181120T111500Z
DTEND:20181120T131500Z
LOCATION:2.22
SUMMARY:Handson18: Intro session 2
END:VEVENT
BEGIN:VEVENT
UID:32343734-3438-4837-b165-613638333762
DTSTAMP:20260611T032412Z
DESCRIPTION:Talk: Alexander Dax -- ProVerif on the modelling level / DNSSEC
 \n\nTalk: Kevin Morio -- SAPIC-accountability / CASPAR
DTSTART:20181204T111500Z
DTEND:20181204T131500Z
LOCATION:2.22
SUMMARY:Handson18: Discussion 1
END:VEVENT
BEGIN:VEVENT
UID:39333761-3966-4066-b335-333165333938
DTSTAMP:20260611T032412Z
DESCRIPTION:1. Julian Augustin: tamarin-prover + DANE\n2. Lena Maria Budde:
  4-way handshake + SAPIC
DTSTART:20181211T111500Z
DTEND:20181211T131500Z
LOCATION:2.22
SUMMARY:Handson18: Discussion 2
END:VEVENT
BEGIN:VEVENT
UID:33306533-3535-4863-b931-616363616364
DTSTAMP:20260611T032412Z
DESCRIPTION:1. Paul Szymanski: FIDO 2.0 + deepsec\n2. Jannic Warken: OpenID
  Connect + ProVerif: translation to Horn clauses\n3. Julian Augustin: tama
 rin-prover\n4. Lena Maria Budde: 4-way handshake + SAPIC
DTSTART:20190108T111500Z
DTEND:20190108T131500Z
LOCATION:2.22
SUMMARY:Handson18: Discussion 3
END:VEVENT
BEGIN:VEVENT
UID:37626138-6662-4561-b832-626463323963
DTSTAMP:20260611T032412Z
DESCRIPTION:1. Paul Szymanski: FIDO 2.0 + deepsec \n2. Lenny Händler: Tox +
  equivalence properties\n3. Petr Tikhonov: Megolm + tamarin (diff-mode)
DTSTART:20190122T111500Z
DTEND:20190122T131500Z
LOCATION:2.22
SUMMARY:Handson18: Discussion 4
END:VEVENT
BEGIN:VEVENT
UID:35646262-3635-4262-a238-383039373235
DTSTAMP:20260611T032412Z
DESCRIPTION:1. Julian Augustin: tamarin-prover \n2. Lena Maria Budde: SAPIC
DTSTART:20190205T111500Z
DTEND:20190205T131500Z
LOCATION:2.22
SUMMARY:Handson18: Discussion 5
END:VEVENT
BEGIN:VEVENT
UID:39633439-6631-4138-a666-646139393366
DTSTAMP:20260611T032412Z
DESCRIPTION:
DTSTART:20190219T111500Z
DTEND:20190219T131500Z
LOCATION:2.22
SUMMARY:Handson18: Discussion 6
END:VEVENT
BEGIN:VEVENT
UID:62626631-6333-4531-b165-383964313538
DTSTAMP:20260611T032412Z
DESCRIPTION:tbd.
DTSTART:20190311T080000Z
DTEND:20190311T110000Z
LOCATION:tbd.
SUMMARY:Handson18: Final talks
END:VEVENT
END:VCALENDAR