
<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">Dear WG members<div><br></div><div>We’ve received the first deliverable towards completing a formal analysis of the latest OpenID for Verifiable Presentations specification, in particular the properties of the specification when used over the new w3c Digital Credentials API.</div><div><br></div><div>The scope is this deliverable is:</div><div><br></div><div><div>"(A) Model and Security Properties: Adapt and extend the existing formal model of the OID4VP</div><div>protocol as described above, in particular, including DC API, using a draft of the OID4VP and DC API</div><div>specifications as provided by the OIDF or a party designated by the OIDF. Furthermore, identify and</div><div>formalize authentication security properties and necessary assumptions in alignment with the OIDF’s (or</div><div>any party designated by the OIDF) requirements. Throughout, we welcome collaboration with designated</div><div>points of contact, including the responsible working groups within the OIDF (e.g. the Digital Credentials</div><div>Protocols WG https://openid.net/wg/digital-credentials-protocols/)."</div></div><div><br></div><div><br></div><div>The PDF of the report is attached. <span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">At the next working group meeting we will ask the group to “accept” this deliverable.</span></div><div><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br></span></div><div><br></div><div>The two issues identified have been opened in GitHub (and the first one already has a PR):</div><div><br></div><div><a href="https://github.com/openid/OpenID4VP/issues/542">https://github.com/openid/OpenID4VP/issues/542</a><br></div><div><br></div><div><a href="https://github.com/openid/OpenID4VP/issues/541">https://github.com/openid/OpenID4VP/issues/541</a></div><div><br></div><div></div><div>Many thanks</div><div><br></div><div>Joseph</div><div><br></div><div><br></div><div><br></div><div></div></body></html>