CLAASP: a cryptographic library for the automated analysis of symmetric primitives. (English) Zbl 07927479
Carlet, Claude (ed.) et al., Selected areas in cryptography – SAC 2023. 30th international conference, Fredericton, Canada, August 14–18, 2023. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 14201, 387-408 (2024).
MSC:
94A60