Handbook of Formal Analysis and Verification in Cryptography Akleylek, Sedat Innbundet / 2023 / Engelsk
Proceedings of the Seventh International Conference on Mathematics and Computing ICMC 2021 Giri Debasis Heftet / 2022 / Engelsk
