Handbook of Formal Analysis and Verification in CryptographySedat Akleylek, Besik Dundua · First published 2023Open the Tome
Proceedings of the Seventh International Conference on Mathematics and ComputingDebasis Giri, Kim-Kwang Raymond Choo, Saminathan Ponnusamy, Weizhi Meng, Sedat Akleylek · First published 2021Open the Tome
