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

[Tom Jones]

if this is about the tls shared key, then that is not available in all
operating systems or in all data center deployments.
Be the change you want to see in the world ..tom


On Tue, Jul 25, 2023 at 8:16 AM Linker Felix via Openid-specs-ab <
openid-specs-ab at lists.openid.net> wrote:

> 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
> _______________________________________________
> Openid-specs-ab mailing list
> Openid-specs-ab at lists.openid.net
> https://lists.openid.net/mailman/listinfo/openid-specs-ab
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.openid.net/pipermail/openid-specs-ab/attachments/20230725/cd553757/attachment.html>