There are 2 books by Sedat Akleylek on BookOrb. A strong starting point is Handbook of Formal Analysis and Verification in Cryptography (2023). The bibliography below is in publication order, with series grouped in reading order.
Standalone books
Showing 1 of 2 titles.
Frequently asked questions
How many books has Sedat Akleylek written?
BookOrb lists 2 books by Sedat Akleylek.
Where should I start with Sedat Akleylek?
A good starting point is Handbook of Formal Analysis and Verification in Cryptography (2023).
What is the Sedat Akleylek books in order list?
In publication order: 1. Handbook of Formal Analysis and Verification in Cryptography (2023).