KEYTRANS WG Agenda at IETF 124 -- Wednesday, November 05,2025, 15:00 - 16:00

Agenda

• Notewell & minute taker
• Agenda bash
• Changes to the protocol document - Brendan McMillion
• Update on Formal verification - Felix Linker
• Q&A
• Next steps (Chairs)