View All Book Series


Prospects in Pure and Applied Mathematics

About the Series

This new series is intended for the publication of top quality books in various domains and applications of engineering mathematics, like, but not limited to Mathematical Techniques in Engineering, Optimization Techniques in Engineering, Modeling and Simulation Techniques, Computer-Aided Design, Numerical Methods in Engineering, and so on. Books are required to present a clear focus on future prospects in this exciting subject. An application-oriented approach, sufficient attention to application domains is required.

If you are interested in writing or editing a book for the series or would like more information, please contact Cindy Carelli, [email protected].

1 Series Title

Per Page

Handbook of Formal Analysis and Verification in Cryptography

Handbook of Formal Analysis and Verification in Cryptography

1st Edition

Edited By Sedat Akleylek, Besik Dundua
September 19, 2023

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. The chapters give readers general knowledge and formal ...

AJAX loader