KEYTRANS WG Agenda at IETF 122 -- Monday, March 17, 2025 at 10:00 - 11:30 UTC

Agenda

0. Notewell & Minute Taker

1. Agenda Bash

2. Changes to the protocol document - Brendan - 60 mins

3. Formal analysis of KEYTRANS - Jonathan Hoyland - 10 mins

4. Next steps