Similar books

Books Like Handbook of Formal Analysis and Verification in Cryptography

If you liked Handbook of Formal Analysis and Verification in Cryptography by Sedat Akleylek, Besik Dundua

If you liked Handbook of Formal Analysis and Verification in Cryptography by Sedat Akleylek and Besik Dundua, start with Unity of Logic and Computation (2023) and Proceedings of the Seventh International Conference on Mathematics and Computing (2021). These recommendations are drawn from the same author, shared genres, and reader overlap on BookOrb.

Back to Handbook of Formal Analysis and Verification in Cryptography · Sedat Akleylek books in order

Recommended next reads

  1. 1 Unity of Logic and Computation 2023 · 270 pages · Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea · Same author
  2. 2 Proceedings of the Seventh International Conference on Mathematics and Computing 2021 · 680 pages · Debasis Giri, Kim-Kwang Raymond Choo, Saminathan Ponnusamy, Weizhi Meng, Sedat Akleylek · Same author

Frequently asked questions

What should I read after Handbook of Formal Analysis and Verification in Cryptography?

BookOrb recommends Unity of Logic and Computation (2023) and Proceedings of the Seventh International Conference on Mathematics and Computing (2021).

Are there books like Handbook of Formal Analysis and Verification in Cryptography?

Yes. The list on this page is ranked from the closest matches BookOrb has for Handbook of Formal Analysis and Verification in Cryptography.

Who wrote Handbook of Formal Analysis and Verification in Cryptography?

Handbook of Formal Analysis and Verification in Cryptography is by Sedat Akleylek and Besik Dundua.