The Inductive Approach to Verifying Cryptographic Protocols

13 May 2021

Papers citing "The Inductive Approach to Verifying Cryptographic Protocols"

2 / 2 papers shown

Title
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 25 1 0 16 Sep 2022
Inductive Analysis of the Internet Protocol TLS Lawrence Charles Paulson 27 298 0 17 Jul 2019