Handbook of Formal Analysis and Verification in Cryptography

Discusses how formal analysis of cryptographic protocols is very important for securing communication and processing information Introduces the reader to several formal verification methods and software commonly used today Covers general knowledge on cryptographic primitives and formal reasoning as basic blocks to understanding protocols Focuses on post-quantum cryptographic schemes Presents how this topic is significant in daily life such as online banking, instant messaging, etc.