[Openid-specs-risc] Shared Signals Formal Analysis

[Marcus Almgren]

Hi,

In the WG meeting yesterday and as per the meeting notes<https://hackmd.io/N6XpcaGWRCqQ2PKGJqy8pw>, we discussed the planned and upcoming formal analysis of parts of the SSF spec, which will most likely happen March 1st - April 30th.

We also agreed that the Shared Signals WG would discuss internally to find an appropriate contact person for the researchers within the WG, in order to ensure smooth progress of the analysis. Once you've had the opportunity to have that discussion, it would be great if you could let us know. It is not anticipated that this will be a large workload at all – it's just to have a named contact in the WG.

Thank you,
Marcus

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.openid.net/pipermail/openid-specs-risc/attachments/20240207/b0a144c5/attachment-0001.html>