Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version)

8 December 2022

Papers citing "Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version)"

5 / 5 papers shown

Title
Symbolic Parallel Composition for Multi-language Protocol Verification Faezeh Nasrabadi Robert Künnemann Hamed Nemati 41 0 0 09 Apr 2025
PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot Zhuoruo Zhang Chenyang Yu Rui Chang Mingshuai Chen K. Ren He Huang Qinming Dai Wenbo Shen MoE 34 1 0 16 Sep 2022
The EMV Standard: Break, Fix, Verify David Basin R. Sasse Jorge Toro-Pozo 28 55 0 15 Jun 2020
A Formal Analysis of 5G Authentication David Basin Jannik Dreier L. Hirschi S. Radomirovic R. Sasse Vincent Stettler 34 366 0 27 Jun 2018
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols François Dupressoir Andrew D. Gordon Jan Jurjens D. Naumann 61 49 0 23 Dec 2013