• Magma

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

  • Referenced in 528 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • SINGULAR

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

  • Referenced in 4 articles [sw02725]
  • NESSIE: A European approach to evaluate cryptographic algorithms...
  • Armadillo

  • Referenced in 70 articles [sw05863]
  • Armadillo is a C++ linear algebra library (matrix...
  • Ptolemy

  • Referenced in 77 articles [sw07459]
  • A modular formal semantics for Ptolemy. Ptolemy is...
  • SIMECK

  • Referenced in 45 articles [sw13823]
  • SIMECK is a family of 3 lightweight block...
  • SIMON

  • Referenced in 82 articles [sw13824]
  • Simon is a family of lightweight block ciphers...
  • Metropolis

  • Referenced in 17 articles [sw16265]
  • Metropolis: an integrated electronic system design environment. oday...
  • SPECK

  • Referenced in 32 articles [sw33879]
  • The Simon and Speck Block Ciphers on AVR...