IETF-118
ufmrg: Usable Formal Methods Research Group

Scheduled Sessions

Session 1 : : UFMRG Formal Methods Training

Agenda, Minutes, and Bluesheets

Agenda IETF118: ufmrg (agenda-118-ufmrg)
Minutes IETF118: ufmrg: Sun 11:00 (minutes-118-ufmrg-202311051100)
Bluesheets IETF118: ufmrg : Sun 11:00 (bluesheets-118-ufmrg-202311051100)

Chatlog and polls

Chat Log IETF118: ufmrg: Sun 12:00 ( as json )

Slides

Tamarin workshop slides (slides-118-ufmrg-sessb-tamarin-workshop-slides)
Using Formal Methods at Google (slides-118-ufmrg-using-formal-methods-at-google)
Verifying Security Protocols End-to-End with Owl (slides-118-ufmrg-verifying-security-protocols-end-to-end-with-owl)
HTTP/2 Rapid Reset (slides-118-ufmrg-http2-rapid-reset)
Chair Slides (slides-118-ufmrg-sessb-chair-slides)

Internet-Drafts

Notes and recordings

Notepad for note-takers
Video recording for ufmrg on 2023-11-05 at 11:00:00
Meetecho session recording

Session 2 :

Agenda, Minutes, and Bluesheets

Agenda IETF118: ufmrg (agenda-118-ufmrg)
Minutes IETF118: ufmrg: Wed 12:00 (minutes-118-ufmrg-202311081200)
Bluesheets IETF118: ufmrg : Wed 12:00 (bluesheets-118-ufmrg-202311081200)

Chatlog and polls

Chat Log IETF118: ufmrg: Wed 13:00 ( as json )

Slides

Using Formal Methods at Google (slides-118-ufmrg-using-formal-methods-at-google)
Verifying Security Protocols End-to-End with Owl (slides-118-ufmrg-verifying-security-protocols-end-to-end-with-owl)
HTTP/2 Rapid Reset (slides-118-ufmrg-http2-rapid-reset)
A Usable Formal Methods Sample Problem from TEEP (update) (slides-118-ufmrg-sessa-a-usable-formal-methods-sample-problem-from-teep)

Internet-Drafts

Notes and recordings

Notepad for note-takers
Video recording for ufmrg on 2023-11-08 at 12:00:00
Meetecho session recording

Unscheduled Sessions