[Openid-specs-digital-credentials-protocols] OID4VC Formal Security Analysis

[Fabian Hauck]

Hello everyone,


in my master thesis I performed a detailed formal security analysis of the OpenID for Verifiable Credential Issuance protocol as well as the OpenID for Verifiable Presentations protocol and now I would like to share the results with the Digital Credentials Protocols working group. You can access the document at the following link: http://dx.doi.org/10.18419/opus-13772


If you have any questions, please feel free to contact me.


Best regards

Fabian Hauck
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.openid.net/pipermail/openid-specs-digital-credentials-protocols/attachments/20231213/54696b0a/attachment.html>