Emanuele Bellini 0002, David Gérault, Juan Grados 0002, Yun-Ju Huang, Rusydi H. Makarim, Mohamed Rachidi, Sharwan K. Tiwari. CLAASP: A Cryptographic Library for the Automated Analysis of Symmetric Primitives. In Claude Carlet, Kalikinkar Mandal, Vincent Rijmen, editors, Selected Areas in Cryptography - SAC 2023 - 30th International Conference, Fredericton, Canada, August 14-18, 2023, Revised Selected Papers. Volume 14201 of Lecture Notes in Computer Science, pages 387-408, Springer, 2023. [doi]
Abstract is missing.