[Openid-specs-fapi] Formal Analysis interim results: Slides and report

[Tim Würtele]

Dear all,

A few hours ago, in the FAPI WG Pacific brief, we presented our interim 
results on the ongoing formal security analysis of FAPI 2.0 Security 
Profile.

Please find attached the slides and the report.

Best

Pedram & Tim

-- 
Tim Würtele, M.Sc.
Room V38 2.434
Institute of Information Security - SEC
Universität Stuttgart
Universitätsstraße 38
D-70569 Stuttgart
Germany
Phone: +49 (0) 711 685-88468
https://sec.uni-stuttgart.de
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.openid.net/pipermail/openid-specs-fapi/attachments/20220721/cf4f4544/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: talk.pdf
Type: application/pdf
Size: 1883081 bytes
Desc: not available
URL: <http://lists.openid.net/pipermail/openid-specs-fapi/attachments/20220721/cf4f4544/attachment-0002.pdf>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: FAPI2_WP1a_Report.pdf
Type: application/pdf
Size: 695286 bytes
Desc: not available
URL: <http://lists.openid.net/pipermail/openid-specs-fapi/attachments/20220721/cf4f4544/attachment-0003.pdf>