[Openid-specs-ab] Issue #1623: Formal security analysis of the Credential Issuance and Credential Presentation (openid/connect)

[Nat]

New issue 1623: Formal security analysis of the Credential Issuance and Credential Presentation
https://bitbucket.org/openid/connect/issues/1623/formal-security-analysis-of-the-credential

Nat Sakimura:

As we expect a lot of applications would be depending on this, and it is a bit different from traditional OpenID so we probably cannot rely on the previous results; it is a good practice to do a formal analysis. We need to find a sponsor.