[Openid-specs-risc] Formal security analysis

[Shayne Miel (smiel)]

As you may recall, we have been working with an outside group to conduct a formal security analysis of the Shared Signals Framework. Their first deliverable is ready, which details the assumptions and modeling decisions that they will be working with. Before moving on to the next deliverable, the report itself, we would like to gather any concerns or feedback from the working group. We will be discussing this during the next working group call (4/16), but I wanted to share it here so that people have a chance to look over it before we meet.

Feel free to respond here if you have any questions or concerns,
Shayne

[cid:8e0d432b-f42b-42ef-9e4c-94e6e6a83f95]
[https://duo.com/assets/img/email/spacer.gif]
Shayne Miel  / Principal Engineer (he, him, his)
smiel at cisco.com<mailto:smiel at cisco.com>
(919) 923-6230
cisco.com<https://www.cisco.com/site/us/en/products/security/index.html>



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.openid.net/pipermail/openid-specs-risc/attachments/20240409/923ac72e/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Outlook-0vsjaznj.png
Type: image/png
Size: 13713 bytes
Desc: Outlook-0vsjaznj.png
URL: <http://lists.openid.net/pipermail/openid-specs-risc/attachments/20240409/923ac72e/attachment-0001.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 2024-04-09_WP4.1a-Report.pdf
Type: application/pdf
Size: 922011 bytes
Desc: 2024-04-09_WP4.1a-Report.pdf
URL: <http://lists.openid.net/pipermail/openid-specs-risc/attachments/20240409/923ac72e/attachment-0001.pdf>