BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//talks.osfc.io//osfc-2024//speaker//KBXNHN
BEGIN:VTIMEZONE
TZID:CET
BEGIN:STANDARD
DTSTART:20001029T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-osfc-2024-WGG9AH@talks.osfc.io
DTSTART;TZID=CET:20240903T104500
DTEND;TZID=CET:20240903T111500
DESCRIPTION:Learn about the cutting edge work that is happening in verifyin
 g isolation guarantees and timer correctness in [Tock OS](https://github.c
 om/tock/tock). Tock is an operating system written in Rust for low-power m
 icrocontrollers. You will learn about our progress proving that isolation 
 guarantees are met by the system using formal methods.
DTSTAMP:20260508T110914Z
LOCATION:Main Room
SUMMARY:Provable Security in Embedded Systems: Verification Work in Tock OS
  - Samir Rashid
URL:https://talks.osfc.io/osfc-2024/talk/WGG9AH/
END:VEVENT
END:VCALENDAR