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 QIDQ6620060
Emanuele Bellini, Mohamed Rachidi, Rusydi H. Makarim, Yun-Ju Huang, Sharwan K. Tiwari, David Gérault, Juan Grados
Publication date: 16 October 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Differential cryptanalysis of DES-like cryptosystems
- Polybori: A framework for Gröbner-basis computations with Boolean polynomials
- Mind the gap -- a closer look at the security of block ciphers against differential cryptanalysis
- Proposing an MILP-based method for the experimental verification of difference-based trails: application to SPECK, SIMECK
- A deeper look at machine learning-based cryptanalysis
- A bit-vector differential model for the modular addition by a constant and its applications to differential and impossible-differential cryptanalysis
- Computing AES related-key differential characteristics with constraint programming
- Improving attacks on round-reduced Speck32/64 using deep learning
- Heuristic Tool for Linear Cryptanalysis with Applications to CAESAR Candidates
- Structural Evaluation of AES and Chosen-Key Distinguisher of 9-Round AES-128
- Construction of Differential Characteristics in ARX Designs Application to Skein
- Automatic Security Evaluation and (Related-key) Differential Characteristic Search: Application to SIMON, PRESENT, LBlock, DES(L) and Other Bit-Oriented Block Ciphers
- Greedy Distinguishers and Nonrandomness Detectors
- A Way to Simplify Truth Functions
- Automatic Search for Related-Key Differential Characteristics in Byte-Oriented Block Ciphers: Application to AES, Camellia, Khazad and Others
- Improved Cryptanalysis of Skein
- Differential and Linear Cryptanalysis Using Mixed-Integer Linear Programming
- Analysis of Differential Attacks in ARX Constructions
- New Impossible Differential Search Tool from Design and Cryptanalysis Aspects
- Fully automated differential-linear attacks against ARX ciphers
- Latin dances reloaded: improved cryptanalysis against Salsa and ChaCha, and the proposal of Forró
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)
