<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=utf-8"><meta name=Generator content="Microsoft Word 15 (filtered medium)"><!--[if !mso]><style>v\:* {behavior:url(#default#VML);}
o\:* {behavior:url(#default#VML);}
w\:* {behavior:url(#default#VML);}
.shape {behavior:url(#default#VML);}
</style><![endif]--><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:"Segoe UI";
panose-1:2 11 5 2 4 2 4 2 2 3;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
p.xmsonormal, li.xmsonormal, div.xmsonormal
{mso-style-name:x_msonormal;
margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
span.EmailStyle23
{mso-style-type:personal-reply;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;
mso-ligatures:none;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 2.0cm 70.85pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=EN-US link=blue vlink=purple style='word-wrap:break-word'><div class=WordSection1><p class=MsoNormal>Hi Anthony,<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>None of these abbreviations mean anything to me, and I cannot judge the extent of your inquiry. Maybe you could provide me more context outside of the mailing list.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Thanks, and best,<o:p></o:p></p><p class=MsoNormal>Felix<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><div><div style='border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0cm 0cm 0cm'><p class=MsoNormal><b>From:</b> ANTHONY J NADALIN <nadalin@prodigy.net> <br><b>Sent:</b> Wednesday, July 26, 2023 9:42 AM<br><b>To:</b> Artifact Binding/Connect Working Group <openid-specs-ab@lists.openid.net>; Tom Jones <thomasclinganjones@gmail.com><br><b>Cc:</b> Linker Felix <flinker@inf.ethz.ch><br><b>Subject:</b> Re: [Openid-specs-ab] Slides - Early Formal Analysis OID4VP over BLE<o:p></o:p></p></div></div><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Would this be ok to share with SC17 WG4 and WG10 since we have mdoc over ble and we have mdoc over OIDC4VP and this would be great to compare the 2 protocols <o:p></o:p></p><div><p class=MsoNormal><o:p> </o:p></p></div><div id=ms-outlook-mobile-signature><p class=MsoNormal>Get <a href="https://aka.ms/AAb9ysg">Outlook for Android</a><o:p></o:p></p></div><div class=MsoNormal align=center style='text-align:center'><hr size=2 width="98%" align=center></div><div id=divRplyFwdMsg><p class=MsoNormal><b><span style='color:black'>From:</span></b><span style='color:black'> Openid-specs-ab <<a href="mailto:openid-specs-ab-bounces@lists.openid.net">openid-specs-ab-bounces@lists.openid.net</a>> on behalf of Linker Felix via Openid-specs-ab <<a href="mailto:openid-specs-ab@lists.openid.net">openid-specs-ab@lists.openid.net</a>><br><b>Sent:</b> Wednesday, July 26, 2023 4:11:06 PM<br><b>To:</b> Tom Jones <<a href="mailto:thomasclinganjones@gmail.com">thomasclinganjones@gmail.com</a>>; Artifact Binding/Connect Working Group <<a href="mailto:openid-specs-ab@lists.openid.net">openid-specs-ab@lists.openid.net</a>><br><b>Cc:</b> Linker Felix <<a href="mailto:flinker@inf.ethz.ch">flinker@inf.ethz.ch</a>><br><b>Subject:</b> Re: [Openid-specs-ab] Slides - Early Formal Analysis OID4VP over BLE</span> <o:p></o:p></p><div><p class=MsoNormal> <o:p></o:p></p></div></div><div><div><p class=xmsonormal>Hi Tom,<o:p></o:p></p><p class=xmsonormal> <o:p></o:p></p><p class=xmsonormal>TLS? I presume you mean the BLE transport layer shared key. I feared that this might be inaccessible, but thought it could be as at least one halve of the verifier’s public key is rendered as a QR code (<a href="https://openid.bitbucket.io/connect/openid-4-verifiable-presentations-over-ble-1_0.html#name-qr-code">reference</a>).<o:p></o:p></p><p class=xmsonormal> <o:p></o:p></p><p class=xmsonormal>Best,<o:p></o:p></p><p class=xmsonormal>Felix<o:p></o:p></p><p class=xmsonormal> <o:p></o:p></p><div style='border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0cm 0cm 0cm'><p class=xmsonormal><b>From:</b> Tom Jones <<a href="mailto:thomasclinganjones@gmail.com">thomasclinganjones@gmail.com</a>> <br><b>Sent:</b> Tuesday, July 25, 2023 10:24 PM<br><b>To:</b> Artifact Binding/Connect Working Group <<a href="mailto:openid-specs-ab@lists.openid.net">openid-specs-ab@lists.openid.net</a>><br><b>Cc:</b> Linker Felix <<a href="mailto:flinker@inf.ethz.ch">flinker@inf.ethz.ch</a>><br><b>Subject:</b> Re: [Openid-specs-ab] Slides - Early Formal Analysis OID4VP over BLE<o:p></o:p></p></div><p class=xmsonormal> <o:p></o:p></p><div><p class=xmsonormal>if this is about the tls shared key, then that is not available in all operating systems or in all data center deployments.<br clear=all><o:p></o:p></p><div><div><div><div><p class=xmsonormal><span style='font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:black;background:#F2F2F2'>Be the change you want to see in the world </span>..tom<o:p></o:p></p></div></div></div></div><p class=xmsonormal> <o:p></o:p></p></div><p class=xmsonormal> <o:p></o:p></p><div><div><p class=xmsonormal>On Tue, Jul 25, 2023 at 8:16 AM Linker Felix via Openid-specs-ab <<a href="mailto:openid-specs-ab@lists.openid.net">openid-specs-ab@lists.openid.net</a>> wrote:<o:p></o:p></p></div><blockquote style='border:none;border-left:solid #CCCCCC 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-top:5.0pt;margin-right:0cm;margin-bottom:5.0pt'><div><div><div><p class=xmsonormal><span lang=DE>Hi all,</span><o:p></o:p></p><p class=xmsonormal><span lang=DE> </span><o:p></o:p></p><p class=xmsonormal>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.<o:p></o:p></p><p class=xmsonormal> <o:p></o:p></p><p class=xmsonormal>I will soon start opening issues describing my findings and recommendations in more detail.<o:p></o:p></p><p class=xmsonormal> <o:p></o:p></p><p class=xmsonormal>Please ask me any questions about my methodology and analysis. I love talking about Tamarin (the tool that I used to analyze the standard)!<o:p></o:p></p><p class=xmsonormal> <o:p></o:p></p><p class=xmsonormal>Thanks, and best,<o:p></o:p></p><p class=xmsonormal>Felix<o:p></o:p></p></div></div><p class=xmsonormal>_______________________________________________<br>Openid-specs-ab mailing list<br><a href="mailto:Openid-specs-ab@lists.openid.net" target="_blank">Openid-specs-ab@lists.openid.net</a><br><a href="https://lists.openid.net/mailman/listinfo/openid-specs-ab" target="_blank">https://lists.openid.net/mailman/listinfo/openid-specs-ab</a><o:p></o:p></p></div></blockquote></div></div></div></div></body></html>