CLAASP: a cryptographic library for the automated analysis of symmetric primitives
From MaRDI portal
Publication:6620060
DOI10.1007/978-3-031-53368-6_19zbMATH Open1547.94318MaRDI QIDQ6620060FDOQ6620060
Authors: Emanuele Bellini, David Gérault, Juan Grados, Yun-Ju Huang, Rusydi H. Makarim, Mohamed Rachidi, Sharwan K. Tiwari 
Publication date: 16 October 2024
Cites Work
- Polybori: A framework for Gröbner-basis computations with Boolean polynomials
- Improving attacks on round-reduced Speck32/64 using deep learning
- A Way to Simplify Truth Functions
- Greedy distinguishers and nonrandomness detectors
- Title not available (Why is that?)
- Differential cryptanalysis of DES-like cryptosystems
- Differential and Linear Cryptanalysis Using Mixed-Integer Linear Programming
- Title not available (Why is that?)
- Cryptanalysis of hash functions on the MD4-family.
- Structural evaluation of AES and chosen-key distinguisher of 9-round AES-128
- Automatic security evaluation and (related-key) differential characteristic search: application to SIMON, PRESENT, Lblock, DES(L) and other bit-oriented block ciphers
- Construction of differential characteristics in ARX designs application to Skein
- Improved cryptanalysis of Skein
- Analysis of differential attacks in ARX constructions
- New impossible differential search tool from design and cryptanalysis aspects. Revealing structural properties of several ciphers
- Automatic search for related-key differential characteristics in byte-oriented block ciphers: application to AES, Camellia, Khazad and others
- Mind the gap -- a closer look at the security of block ciphers against differential cryptanalysis
- A deeper look at machine learning-based cryptanalysis
- Heuristic tool for linear cryptanalysis with applications to CAESAR candidates
- Proposing an MILP-based method for the experimental verification of difference-based trails: application to SPECK, SIMECK
- Computing AES related-key differential characteristics with constraint programming
- Latin dances reloaded: improved cryptanalysis against Salsa and ChaCha, and the proposal of Forró
- Fully automated differential-linear attacks against ARX ciphers
- A bit-vector differential model for the modular addition by a constant and its applications to differential and impossible-differential cryptanalysis
This page was built for publication: CLAASP: a cryptographic library for the automated analysis of symmetric primitives
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6620060)
