Paper 2023/622 Original: eprint.iacr.org/2023/622 ↗
CLAASP: a Cryptographic Library for the Automated Analysis of Symmetric Primitives
Abstract
This paper introduces CLAASP, a Cryptographic Library for the Automated Analysis of Symmetric Primitives. The library is designed to be modular, extendable, easy to use, generic, efficient and fully automated. It is an extensive toolbox gathering state-of-the-art techniques aimed at simplifying the manual tasks of symmetric primitive designers and analysts. CLAASP is built on top of Sagemath and is open-source under the GPLv3 license. The central input of CLAASP is the description of a cryptographic primitive as a list of connected components in the form of a directed acyclic graph. From this representation, the library can automatically: (1) generate the Python or C code of the primitive evaluation function, (2) execute a wide range of statistical and avalanche tests on the primitive, (3) generate SAT, SMT, CP and MILP models to search, for example, differential and linear trails, (4) measure algebraic properties of the primitive, (5) test neural-based distinguishers. In this work, we also present a comprehensive survey and comparison of other software libraries aiming at similar goals as CLAASP.
Metadata
- Available format(s)
PDF- Category
- Secret-key cryptography
- Publication info
- Preprint.
- History
- 2023-06-01: last updated
- 2023-05-01: published
- Short URL
- https://ia.cr/2023/622
- License
- https://creativecommons.org/publicdomain/zero/1.0/
BibTeX
@misc{cryptoeprint:2023/622,
author = {Emanuele Bellini and David Gerault and Juan Grados and Yun Ju Huang and Mohamed Rachidi and Sharwan Tiwari and Rusydi H. Makarim},
title = {CLAASP: a Cryptographic Library for the Automated Analysis of Symmetric Primitives},
howpublished = {Cryptology {ePrint} Archive, Paper 2023/622},
year = {2023},
url = {https://eprint.iacr.org/2023/622}
}