[Openid-specs-ab] Slides - Early Formal Analysis OID4VP over BLE

[Linker Felix]

Hi all,

 

In last week's call, I presented the results of my early formal analysis of
the "OpenID for Verifiable Presentations over BLE" standard. As requested
during the call, find my slides attached.

 

I will soon start opening issues describing my findings and recommendations
in more detail.

 

Please ask me any questions about my methodology and analysis. I love
talking about Tamarin (the tool that I used to analyze the standard)!

 

Thanks, and best,

Felix

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.openid.net/pipermail/openid-specs-ab/attachments/20230725/b141ed04/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Early Formal Analysis OID4VP over BLE.pdf
Type: application/pdf
Size: 1486979 bytes
Desc: not available
URL: <http://lists.openid.net/pipermail/openid-specs-ab/attachments/20230725/b141ed04/attachment-0001.pdf>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5719 bytes
Desc: not available
URL: <http://lists.openid.net/pipermail/openid-specs-ab/attachments/20230725/b141ed04/attachment-0001.p7s>