UFMRG at IETF-116 2023/03/29 09:30-11:30

2 hours

- [Intro/agenda bash (Chairs) (10)](https://datatracker.ietf.org/meeting/116/materials/slides-116-ufmrg-chair-slides-00.pdf)
    - 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 Analysis (Jonathan Hoyland) (10)](https://datatracker.ietf.org/meeting/116/materials/slides-116-ufmrg-intro-to-formal-analysis-00.pdf)
- [VDAF analysis  (Chris Patton) (15)](https://datatracker.ietf.org/meeting/116/materials/slides-116-ufmrg-vdaf-analysis-00.pdf)
- [Open discussion and review of problem areas (Chairs) (45)](https://datatracker.ietf.org/meeting/116/materials/slides-116-ufmrg-usability-issues-in-formal-methods-00.pdf)
    - 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)](https://datatracker.ietf.org/meeting/116/materials/slides-116-ufmrg-delegated-credentials-00.pdf)
- Foundational End-to-End Verification of High-Speed Cryptography (Bas Spitters) (15)
- Next steps/action (Chairs) (10)