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