
LBlock
 Referenced in 43 articles
[sw06569]
 margin against known attacks, such as differential cryptanalysis, linear cryptanalysis, impossible differential cryptanalysis and related...

Square
 Referenced in 54 articles
[sw26286]
 concentrates on the resistance against differential and linear cryptanalysis. However, after the initial design...

FOX
 Referenced in 22 articles
[sw13586]
 immune to linear and differential cryptanalysis, and we discuss its security towards integral cryptanalysis, algebraic...

Rumba20
 Referenced in 14 articles
[sw07099]
 have been broken by differential cryptanalysis, while ChaCha has not been analyzed yet. We introduce ... novel method for differential cryptanalysis of Salsa20 and ChaCha, inspired by correlation attacks and related ... application of neutral bits in stream cipher cryptanalysis. It allows us to break ... simplified variants, then we discuss differential attacks on the original version, and exploit a high...

MISTY
 Referenced in 25 articles
[sw24162]
 theory of provable security against differential and linear cryptanalysis, and moreover they realize high speed...

ARXtools
 Referenced in 10 articles
[sw09727]
 assess the security those functions against differential cryptanalysis. Our tools are publicly available from...

EPCBC
 Referenced in 6 articles
[sw11640]
 obtain new results on the differential and linear cryptanalysis bounds for the generalized PRESENT when ... attack and the latest higherorder differential cryptanalysis from FSE 2011 [11]. Our proposed cipher...

SHARK
 Referenced in 15 articles
[sw21955]
 cipher is resistant against differential and linear cryptanalysis after a small number of rounds...

Sage Sbox MILP toolkit
 Referenced in 2 articles
[sw24163]
 cryptographic ciphers against linear and differential cryptanalysis. The toolkit generates a MixedInteger Linear Programming ... counts the minimum number of (linearly or differentially) active Sboxes for a given cipher...

DLCT
 Referenced in 1 article
[sw31786]
 tool for differentiallinear cryptanalysis Differential cryptanalysis and linear cryptanalysis are the two bestknown ... cryptanalysis of block ciphers. In 1994, Langford and Hellman introduced the differentiallinear (DL) attack...

CryptoSMT
 Referenced in 2 articles
[sw26676]
 easy to use tool for cryptanalysis of symmetric primitives likes block ciphers or hash functions ... features are: Proof properties regarding the differential behavious of a primitive. Find the best linear/differential...

deep_speck
 Referenced in 1 article
[sw34578]
 distribution that are invisible to all purely differential distinguishers even given unlimited data. While ... good input differences without using prior human cryptanalysis. Supplementary code and data for this paper...

ATLAS
 Referenced in 197 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

FGb
 Referenced in 240 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

GAP
 Referenced in 2829 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gmp
 Referenced in 263 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Macaulay2
 Referenced in 1639 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 2825 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

ManySAT
 Referenced in 32 articles
[sw00544]
 ManySAT: a parallel SAT solver. ManySAT, a new...

Maple
 Referenced in 5020 articles
[sw00545]
 The result of over 30 years of cutting...