UFMRG at IETF-116 2023/03/29 09:30-11:30 2 hours - Intro/agenda bash (Chairs) (10) - wiki, please add materials: - https://wiki.ietf.org/en/group/ufm - Sample problem that fits with the IETF? - We're looking for person(s) to try write stuff down - Basic SMTP/IMAP? - BGP? - Intro presentation: - Background on Formal Methods (TBD) (25) - VDAF analysis (Chris Patton) (15) - Open discussion and review of problem areas (Chairs) (45) - Scoping topics for the RG - Why aren't these things already usable? - You can't publish confirmatory results - How do/should formal methods usefully fit in RFC development? - How to model privacy? - Delegated Credentials analysis (Jonathan Hoyland) (15) - Next steps/action (Chairs) (10)