Home > Authors > Sedat Akleylek > Handbook of Formal Analysis and Verification in Cryptography

Buy at: Bookshop.org Amazon

Handbook of Formal Analysis and Verification in Cryptography

Sedat Akleylek, Besik Dundua

Recent activity

Rate this book to see your activity here.

2 Books Similar to Handbook of Formal Analysis and Verification in Cryptography by Sedat Akleylek

Bookscovery readers who liked Handbook of Formal Analysis and Verification in Cryptography also like Proceedings of the Seventh International Conference on Mathematics and Computing, and Unity of Logic and Computation. How many of these have you read?

Proceedings of the Seventh International Conference on Mathematics and Computing by Debasis Giri

Cover of Proceedings of the Seventh International Conference on Mathematics and Computing
Buy this book at:
Bookshop.org Amazon

Unity of Logic and Computation by Gianluca Della Vedova

Cover of Unity of Logic and Computation
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Handbook of Formal Analysis and Verification in Cryptography

Please sign in to leave a comment