Abstract is missing.
- Development of Cryptography since ShannonÇetin Kaya Koç, Funda Özdemir. 1-56 [doi]
- Introduction to Formal Methods for the Analysis and Design of Cryptographic ProtocolsDaniele Bringhenti, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov. 57-104 [doi]
- An Introduction to Tools for Formal Analysis of Cryptographic ProtocolsMurat Moran, Pascal Lafourcade 0001, Maxime Puys, David Williams. 105-152 [doi]
- Formal Verification of Cryptographic Protocols with Isabelle/HOLPasquale Noce. 153-212 [doi]
- Formal Modeling and Security Analysis of Security ProtocolsPaolo Modesti, Rémi Garcia 0003. 213-274 [doi]
- Cryptographic Web Applications: from Security Engineering to Formal AnalysisMichele Bugliesi, Stefano Calzavara, Alvise Rabitti. 275-318 [doi]
- Formal Methods for Quantum AlgorithmsChristophe Chareton, Dongho Lee, Benoît Valiron, Renaud Vilmart, Sébastien Bardin, Zhaowei Xu. 319-422 [doi]