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

CryptoSMT
 Referenced in 4 articles
[sw26676]
 CryptoSMT  an easy to use tool for cryptanalysis of symmetric primitives likes block ciphers ... CryptoSMT is an easy to use tool for cryptanalysis of symmetric primitives likes block ciphers ... detailed description on the application of this tool on the SIMON block ciphers...

CryptoSAT
 Referenced in 3 articles
[sw31706]
 CryptoSAT: a tool for SATbased cryptanalysis. The security of symmetric key primitives comes from ... scrutiny relies on the availability of automated tools. Although SAT solvers have already proved useful...

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

DLCT
 Referenced in 1 article
[sw31786]
 DLCT: a new tool for differentiallinear cryptanalysis Differential cryptanalysis and linear cryptanalysis...

Enumeration RankKey
 Referenced in 1 article
[sw15087]
 computing bound usually used in classical cryptanalysis is of 2^80. We proposed an algorithm ... While the enumeration algorithm is an important tool for attackers, as far as security evaluation...

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

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

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

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

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

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

R
 Referenced in 9810 articles
[sw00771]
 R is a language and environment for statistical...

SageMath
 Referenced in 1970 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

SINGULAR
 Referenced in 1504 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

SCIP
 Referenced in 536 articles
[sw01091]
 SCIP is currently one of the fastest non...

HMQV
 Referenced in 80 articles
[sw02714]
 The MQV protocol of Law, Menezes, Qu, Solinas...

CLEFIA
 Referenced in 66 articles
[sw03047]
 CLEFIA is an efficient, highly secure block cipher...

NAXOS
 Referenced in 73 articles
[sw03050]
 LaMacchia, Lauter and Mityagin recently presented a strong...

CUDA
 Referenced in 1317 articles
[sw03258]
 The NVIDIA® CUDA® Toolkit provides a comprehensive development...