Pasquale Noce. Formal Verification of Cryptographic Protocols with Isabelle/HOL. In Sedat Akleylek, Besik Dundua, editors, Handbook of Formal Analysis and Verification in Cryptography. pages 153-212, CRC Press, 2023. [doi]
@incollection{Noce23, title = {Formal Verification of Cryptographic Protocols with Isabelle/HOL}, author = {Pasquale Noce}, year = {2023}, doi = {10.1201/9781003090052-4}, url = {https://doi.org/10.1201/9781003090052-4}, researchr = {https://researchr.org/publication/Noce23}, cites = {0}, citedby = {0}, pages = {153-212}, booktitle = {Handbook of Formal Analysis and Verification in Cryptography}, editor = {Sedat Akleylek and Besik Dundua}, publisher = {CRC Press}, isbn = {978-1-003-09005-2}, }