
PotLLL
 Referenced in 2 articles
[sw10241]
 number theory, algebra, as well as in cryptanalysis. The most famous algorithm for lattice reduction...

Sage Sbox MILP toolkit
 Referenced in 2 articles
[sw24163]
 cryptographic ciphers against linear and differential cryptanalysis. The toolkit generates a MixedInteger Linear Programming...

COFFE
 Referenced in 1 article
[sw15075]
 Cryptanalysis of the authenticated encryption algorithm COFFE. COFFE is a hashbased authenticated encryption scheme...

Enumeration RankKey
 Referenced in 1 article
[sw15087]
 computing bound usually used in classical cryptanalysis is of 2^80. We proposed an algorithm...

CrypTool
 Referenced in 1 article
[sw20675]
 opensource Windows program for cryptography and cryptanalysis. It’s the most widespreaded...

CHAM
 Referenced in 1 article
[sw24780]
 required for round keys. According to our cryptanalysis results, CHAM is secure against known attacks...

Hydra
 Referenced in 1 article
[sw25438]
 curves have many applications in cryptography and cryptanalysis. Pairing computation is more complicated compared...

Verified LLL
 Referenced in 1 article
[sw28661]
 diverse fields of computer science, from cryptanalysis to number theory, but it is specially well...

CryptoSAT
 Referenced in 1 article
[sw31706]
 CryptoSAT: a tool for SATbased cryptanalysis. The security of symmetric key primitives comes from...

Ganzua
 Referenced in 0 articles
[sw05626]
 Ganzua is a cryptanalysis tool for classical ciphers (monoalphabetic and polyalphabetic) that lets the user ... plain alphabets, allowing for the proper cryptanalysis of cryptograms obtained from nonEnglish text...

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

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

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

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

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

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

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

MiniSat
 Referenced in 510 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

nauty
 Referenced in 514 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

NTL
 Referenced in 187 articles
[sw00638]
 NTL is a highperformance, portable C++ library...