RC Home | Contact Us
DA-IICT Logo

Resource Centre

Image from Google Jackets

Handbook of formal analysis and verification in cryptography

By: Contributor(s): Series: Prospects in Pure and Applied Mathematics SeriesPublication details: CRC Press, 2024 Boca Raton :Description: xv, 428 p. ; ill., 24 cmISBN:
  • 9780367546663
Subject(s): DDC classification:
  • 005.824 AKL
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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Cover image Item type Current library Home library Collection Shelving location Call number Materials specified Vol info URL Copy number Status Notes Date due Barcode Item holds Item hold queue priority Course reserves
Books DAU 005.824 AKL Available 035781

Includes bibliographical references and index.

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.

There are no comments on this title.

to post a comment.
Share