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].
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 ...