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

0) Notewell & Minute Taker

1) Agenda Bash

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

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

4) Adoption Call & Wrap up