Results 21 to 40 of 51
Sort by:

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