UFMRG at IETF-124

DRAFT Agenda

Agenda Bash (chairs, 5)
SEAT and proofs (Muhammad Usama Sardar, 25)
    https://datatracker.ietf.org/wg/seat/documents/
SecureDrop proofs (Felix Linker, Cory Francis Myers, 25)
Proof Ladders (Deirdre Connolly, 25)
    https://proof-ladders.github.io/
AOB (what's left or 10)