• Magma

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

  • Referenced in 10196 articles [sw00771]
  • R is a language and environment for statistical...
  • GRASP

  • Referenced in 133 articles [sw01094]
  • Algorithm 754: Fortran subroutines for approximate solution of...
  • BLISS

  • Referenced in 30 articles [sw02301]
  • BLISS: Bimodal Lattice Signature Schemes. This implementation in...
  • MIST

  • Referenced in 18 articles [sw02431]
  • The Mist algorithm generates randomly different addition chains...
  • AEGIS

  • Referenced in 11 articles [sw02688]
  • AEGIS: An adaptive ideal-magnetohydrodynamics shooting code for...
  • KRAKATOA

  • Referenced in 89 articles [sw03159]
  • The KRAKATOA tool for certification of JAVA/JAVACARD programs...
  • CPLEX

  • Referenced in 2804 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • ACSL

  • Referenced in 51 articles [sw04216]
  • The Advanced Continuous Simulation Language, or ACSL (pronounced...
  • Why3

  • Referenced in 136 articles [sw04438]
  • Why3 is a platform for deductive program verification...
  • JML

  • Referenced in 190 articles [sw04597]
  • The Java Modeling Language (JML) is a behavioral...
  • Spec#

  • Referenced in 123 articles [sw04598]
  • The Spec# programming system is a new attempt...
  • JBool

  • Referenced in 123 articles [sw06185]
  • This software promotes some general and useful tools...
  • PRESENT

  • Referenced in 182 articles [sw08313]
  • PRESENT is a new ultra lightweight block cipher...
  • HIGHT

  • Referenced in 47 articles [sw08446]
  • HIGHT: A New Block Cipher Suitable for Low...
  • mCrypton

  • Referenced in 19 articles [sw09729]
  • mCrypton – A Lightweight Block Cipher for Security of...
  • NaCl

  • Referenced in 9 articles [sw09914]
  • The security impact of a new cryptographic library...