Mechanized Cryptographic Proofs of Protocols and their Link with Verified Implementations - Lipp, Benjamin; École normale supérieure - Paris (ENS-PSL); Université Paris Sciences et Lettres (PSL); Programming securely with cryptography (PROSECCO); Inria de Paris; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria); Université Paris sciences et lettres; Bruno Blanchet; Karthikeyan Bhargavan; ANR-17-CE39-0004,TECAP,Analyse de protocoles - unir les outils existants(2017); European Project: 683032,H2020 ERC,ERC-2015-CoG,CIRCUS(2016); European Project: 688722,H2020 Pilier Industrial Leadership,H2020-ICT-2015,NEXTLEAP(2016); et al. (2022)