<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p data-pm-slice="1 1 []">Hello everyone,<br></p><p>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: <a target="_blank" rel="noopener noreferrer" href="http://dx.doi.org/10.18419/opus-13772">http://dx.doi.org/10.18419/opus-13772</a><br></p><p>If you have any questions, please feel free to contact me.<br></p><p>Best regards<br></p><div dir="auto">Fabian Hauck<br></div> </body>
</html>