default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHandbook of Formal Analysis and Verification in Cryptography, 2023
- Sedat Akleylek, Besik Dundua:
Handbook of Formal Analysis and Verification in Cryptography. CRC Press 2023, ISBN 978-1-003-09005-2 - Çetin Kaya Koç, Funda Özdemir:
Development of Cryptography since Shannon. 1-56 - Daniele Bringhenti
, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov:
Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols. 57-104 - Murat Moran, Pascal Lafourcade, Maxime Puys, David Williams:
An Introduction to Tools for Formal Analysis of Cryptographic Protocols. 105-152 - Pasquale Noce:
Formal Verification of Cryptographic Protocols with Isabelle/HOL. 153-212 - Paolo Modesti, Rémi Garcia:
Formal Modeling and Security Analysis of Security Protocols. 213-274 - Michele Bugliesi, Stefano Calzavara, Alvise Rabitti:
Cryptographic Web Applications: from Security Engineering to Formal Analysis. 275-318 - Christophe Chareton, Dongho Lee, Benoît Valiron, Renaud Vilmart, Sébastien Bardin, Zhaowei Xu:
Formal Methods for Quantum Algorithms. 319-422
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-06 22:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
