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.

This book features selected papers from the 7th International Conference on Mathematics and Computing (ICMC 2021), organized by Indian Institute of Engineering Science and Technology (IIEST), Shibpur, India, during March 2021. It covers recent advances in the field of mathematics, statistics, and scientific computing. The book presents innovative work by leading academics, researchers, and experts from industry.