IETF-116
ufmrg: Usable Formal Methods Research Group

Scheduled Sessions

Agenda, Minutes, and Bluesheets

Agenda IETF116: ufmrg (agenda-116-ufmrg)
Minutes IETF116: ufmrg: Wed 00:30 (minutes-116-ufmrg-202303290030)
Bluesheets IETF116: ufmrg : Wed 00:30 (bluesheets-116-ufmrg-202303290030)

Chatlog and polls

Chat Log IETF116: ufmrg: Wed 09:30 ( as json )

Slides

Chair Slides (slides-116-ufmrg-chair-slides)
Intro to Formal Analysis (slides-116-ufmrg-intro-to-formal-analysis)
Usability Issues in Formal Methods (slides-116-ufmrg-usability-issues-in-formal-methods)
VDAF Analysis (slides-116-ufmrg-vdaf-analysis)
Delegated Credentials (slides-116-ufmrg-delegated-credentials)
Foundational End-to-End Veriļ¬cation of High-Speed Cryptography (slides-116-ufmrg-foundational-end-to-end-verification-of-high-speed-cryptography)

Internet-Drafts

Notes and recordings

Notepad for note-takers
Video recording for UFMRG on 2023-03-29 at 00:30:00
Meetecho session recording

Unscheduled Sessions