👤

Sedat Akleylek

2 books

Books by Sedat Akleylek

Handbook of Formal Analysis an
Handbook of Formal Analysis and Verification in Cryptography
2023
Proceedings of the Seventh Int
Proceedings of the Seventh International Conference on Mathematics and Computing
2021