Sponsor of the Day:
Jerkmate
https://openid.net/guest-blog-formal-analysis-of-the-openid-financial-grade-api/
Guest Blog: Formal Analysis of the OpenID Financial-grade API - OpenID Foundation
Mar 27, 2019 - Guest blog post by Daniel Fett (yes.com), Pedram Hosseyni, and Ralf Küsters (University of Stuttgart). The security of a web protocol is crucial, especially in...
financial grade apiguest blogformal analysisopenidfoundation
https://www.usenix.org/conference/usenixsecurity25/presentation/linker
A Formal Analysis of Apple's iMessage PQ3 Protocol | USENIX
formal analysisappleimessageprotocolusenix
https://team.inria.fr/prosecco/a-new-formal-analysis-of-the-signal-pqxdh-protocol-by-prosecco-cryspen-and-signal-using-proverif-and-cryptoverif/
A new formal analysis of the Signal PQXDH protocol by Prosecco, Cryspen, and Signal using ProVerif...
formal analysisnewsignalpqxdhprotocol
https://blogs.sw.siemens.com/verificationhorizons/category/tips-tricks/formal-analysis/
Formal Analysis - Verification Horizons
formal analysisverification horizons
https://openid.net/security-analysis-fapi-2-0-completed/
Formal Security Analysis of FAPI 2.0 Message Signing, DCR, DCM and FAPI-CIBA Completed - OpenID...
Dec 6, 2023 - Following the publication of the formal security analysis of the FAPI 2.0 Security Profile in December 2022, a second round of analysis has now been completed,...
fapi 2 0formal securitymessage signinganalysisdcr
https://isa-afp.org/entries/Stratified_Datalog.html
Stratified Datalog and Program Analysis - Archive of Formal Proofs
Stratified Datalog and Program Analysis in the Archive of Formal Proofs
program analysisformal proofsstratifieddatalogarchive
https://www.absint.com/
AbsInt: Static Analysis and Formal Verification of Safety-Critical Software
Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software.
safety critical softwarestatic analysisformal verificationabsint
https://isa-afp.org/entries/Shivers-CFA.html
Shivers' Control Flow Analysis - Archive of Formal Proofs
Shivers' Control Flow Analysis in the Archive of Formal Proofs
control flowanalysis archiveformal proofsshivers