Inductive Analysis of the Internet Protocol TLS

17 July 2019

Papers citing "Inductive Analysis of the Internet Protocol TLS"

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
The Inductive Approach to Verifying Cryptographic Protocols Lawrence Charles Paulson 46 1,018 0 13 May 2021