WG approval of Formal security analysis report #198
Description
Creating this issue to have a trackable item for the formal security analysis approval. At the time of writing, the suggestion is that the report is read by relevant participants, that questions are directed to the researchers directly and that the WG meeting on September 9th would have an agenda point where the report is discussed and presumably approved.