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

• Status
• Email expansions
• History

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