KEYTRANS WG Agenda

• Welcome and NoteWell - Chairs (2 mins)
• Protocol document / planned future work - Brendan (25m)
• Initial thoughts on formal verification - Felix (15m)
• Updates in witness ecosystem - Thibault (15m)
• Chairs closing remarks and next steps (3 mins).

Drafts

https://www.ietf.org/id/draft-keytrans-mcmillion-protocol-01.txt