Development of cryptography since Shannon -- Introduction to formal methods for the analysis and design of cryptographic protocols -- An introduction to tools for formal analysis of cryptographic protocols -- Formal verification of cryptographic protocols with Isabelle/HOL -- Formal modelling and security analysis of security protocols -- Cryptographic Web applications : from security engineering to formal analysis -- Formal methods for quantum algorithms.
Summary:
"Handbook of Formal Analysis and Verification in Cryptography includes major formalisms and tools used for formal verification of cryptography, with a focus on new generation cryptosystems such as post-quantum. It presents a connection between formal analysis and cryptographic schemes, offers formal methods to show whether security assumptions are valid or not for a cryptographic scheme, compares the most prominent formalism and tools, and outlines common challenges and future research directions"-- Provided by publisher.
This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.