2 works on record
Proceedings of the Seventh International Conference on Mathematics and Computing
2021
Handbook of Formal Analysis and Verification in Cryptography