Handbook of Formal Analysis and Verification in Cryptography - Sedat Akleylek

Handbook of Formal Analysis and Verification in Cryptography

By: Sedat Akleylek (Editor), Besik Dundua (Editor)

Paperback | 19 December 2024

At a Glance

Paperback


RRP $131.00

$98.50

25%OFF

or 4 interest-free payments of $24.63 with

 or 

Aims to ship in 7 to 10 business days

This handbook of formal analysis in cryptography is very important for secure communication and processing of information. It introduces readers to several formal verification methods and software used to analyse cryptographic protocols.

More in Data Encryption

Cybercrime : An Encyclopedia of Digital Crime - Nancy E. Marion

RRP $59.99

$49.25

18%
OFF
Software Security : Concepts & Practices - Suhel Ahmad Khan
Embedded Cryptography 2 : ISTE Invoiced - Emmanuel Prouff

RRP $301.35

$230.95

23%
OFF
Cybersecurity All-in-One For Dummies : For Dummies - Joseph Steinberg
Hackers & Painters - Paul Graham

RRP $47.50

$26.50

44%
OFF
Management of Information Security : 6th edition - Michael E. Whitman

RRP $144.95

$119.75

17%
OFF
Principles of Information Security : 7th edition - Michael E. Whitman

RRP $159.95

$130.75

18%
OFF
There's No Such Thing as Crypto Crime : An Investigative Handbook - Nick Furneaux
Blockchain : Blueprint for a New Economy - Melanie Swan

RRP $66.50

$32.75

51%
OFF
Intelligence-Driven Incident Response : Outwitting the Adversary - Rebekah Brown
Network Security Assessment : Know Your Network : 3rd Edition - Chris Mcnab
Programming Bitcoin : Learn How to Program Bitcoin from Scratch - Jimmy Song