[Openid-specs-risc] Formal security analysis

[Shayne Miel (smiel)]

It was brought to my attention that the attached document may not have come through for some people because of how the mailing list gets sent out. You can now download it here to review: https://github.com/openid/sharedsignals/files/15014966/2024-04-09_WP4.1a-Report.pdf
________________________________
From: Openid-specs-risc <openid-specs-risc-bounces at lists.openid.net> on behalf of Shayne Miel (smiel) via Openid-specs-risc <openid-specs-risc at lists.openid.net>
Sent: Tuesday, April 9, 2024 12:47 PM
To: Openid-specs-risc at lists.openid.net <openid-specs-risc at lists.openid.net>
Subject: [Openid-specs-risc] Formal security analysis

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/20240417/d6159afd/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/20240417/d6159afd/attachment-0001.png>