UFMRG @ IETF-120

Plaza A, Thursday July 25th 2024, 0930-1130 local time (1630-1830 UTC)

Notepad: https://notes.ietf.org/notes-ietf-120-ufmrg
Meetecho: https://meetings.conf.meetecho.com/ietf120/?session=33167

Agenda

• chairs, Administrivia, 5 mins
• Marc Petit-Huguenin, A usable formal method for IETF specifications, 20 mins
• Ben Greenan, on the usability aspects of Forge, 20 mins
• Muhammad Usama Sardar, adventures with Proverif, 20 mins
• Chris Patton, How to write proofs for cryptographic protocols at IETF (a proposal), 20 mins
• Robert Kuennemann, an extension to Tamarin for message formats, 20 mins
• François Michel, formal verficiation of SSH side meeting, 10 mins
• Jonathan Hoyland, long-promised presentation:-), remaining time