Agenda IETF116: ufmrg
agenda-116-ufmrg-02
| Meeting Agenda | Usable Formal Methods Research Group (ufmrg) RG | |
|---|---|---|
| Date and time | 2023-03-29 00:30 | |
| Title | Agenda IETF116: ufmrg | |
| State | Active | |
| Other versions | markdown | |
| Last updated | 2023-03-28 |
agenda-116-ufmrg-02
UFMRG at IETF-116 2023/03/29 09:30-11:30
2 hours
- Intro/agenda bash (Chairs) (10)
- wiki, please add materials:
- Sample problem that fits with the IETF?
- We're looking for person(s) to try write stuff down
- Basic SMTP/IMAP?
- BGP?
- Intro presentation:
- 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)
- Foundational End-to-End Verification of High-Speed Cryptography (Bas Spitters) (15)
- Next steps/action (Chairs) (10)