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
- 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)
