Skip to main content

Formalizing MLS in F*
slides-interim-2021-mls-01-sessa-formalizing-mls-in-f-00

Recipient expansions

Mail trigger To Cc
ballot_deferred The IESG <iesg@ietf.org>, iesg-secretary@ietf.org, mls-chairs@ietf.org
doc_state_edited mls-chairs@ietf.org, paul.wouters@aiven.io
doc_telechat_details_changed The IESG <iesg@ietf.org>, iesg-secretary@ietf.org, mls-chairs@ietf.org
iesg_ballot_saved The IESG <iesg@ietf.org> mls-chairs@ietf.org, mls@ietf.org