CLAASP: a cryptographic library for the automated analysis of symmetric primitives
From MaRDI portal
Publication:6620060
Recommendations
- On the homomorphic computation of symmetric cryptographic primitives
- Algorithm 959
- Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives
- Heuristic tool for linear cryptanalysis with applications to CAESAR candidates
- Differential and Linear Cryptanalysis Using Mixed-Integer Linear Programming
Cites work
- scientific article; zbMATH DE number 2089318 (Why is no real title available?)
- scientific article; zbMATH DE number 1394292 (Why is no real title available?)
- A Way to Simplify Truth Functions
- A bit-vector differential model for the modular addition by a constant and its applications to differential and impossible-differential cryptanalysis
- A deeper look at machine learning-based cryptanalysis
- Analysis of differential attacks in ARX constructions
- Automatic search for related-key differential characteristics in byte-oriented block ciphers: application to AES, Camellia, Khazad and others
- Automatic security evaluation and (related-key) differential characteristic search: application to SIMON, PRESENT, Lblock, DES(L) and other bit-oriented block ciphers
- Computing AES related-key differential characteristics with constraint programming
- Construction of differential characteristics in ARX designs application to Skein
- Cryptanalysis of hash functions on the MD4-family.
- Differential and Linear Cryptanalysis Using Mixed-Integer Linear Programming
- Differential cryptanalysis of DES-like cryptosystems
- Fully automated differential-linear attacks against ARX ciphers
- Greedy distinguishers and nonrandomness detectors
- Heuristic tool for linear cryptanalysis with applications to CAESAR candidates
- Improved cryptanalysis of Skein
- Improving attacks on round-reduced Speck32/64 using deep learning
- Latin dances reloaded: improved cryptanalysis against Salsa and ChaCha, and the proposal of Forró
- Mind the gap -- a closer look at the security of block ciphers against differential cryptanalysis
- New impossible differential search tool from design and cryptanalysis aspects. Revealing structural properties of several ciphers
- Polybori: A framework for Gröbner-basis computations with Boolean polynomials
- Proposing an MILP-based method for the experimental verification of difference-based trails: application to SPECK, SIMECK
- Structural evaluation of AES and chosen-key distinguisher of 9-round AES-128
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)
