• 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 SAT-based 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 non-English text...
  • DLCT

  • Referenced in 1 article [sw31786]
  • DLCT: a new tool for differential-linear 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, open-source 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...