• McEliece

  • Referenced in 264 articles [sw02076]
  • this work, we address mainly two power analysis attacks on various implementations of McEliece ... first time that such side-channel attacks are practically evaluated...
  • CRAFT

  • Referenced in 4 articles [sw41024]
  • FIDES, where efficient protection against Side-Channel Analysis (SCA) attacks has been considered in their ... protection of its implementations against Differential Fault Analysis (DFA) attacks has been ... also when fault-detection facilities, side-channel protection, and their combination are integrated into...
  • OpenADC

  • Referenced in 1 article [sw13768]
  • reduce the cost of experimenting with side-channel analysis, software defined radio (SDR), and lots...
  • MoTE-ECC

  • Referenced in 2 articles [sw09247]
  • harden MoTE-ECC against side-channel attacks (e.g. simple power analysis) and introduce a highly...
  • CacheAudit

  • Referenced in 7 articles [sw32299]
  • framework for the automatic, static analysis of cache side channels. CacheAudit takes as input ... security guarantees for a comprehensive set of side-channel adversaries, namely those based on observing...
  • Mastik

  • Referenced in 1 article [sw35959]
  • architectural side-channel attacks, which hinders the development of the area and the analysis...
  • AMASIVE

  • Referenced in 1 article [sw07680]
  • implementing side-channel hardened devices. An attacker model is introduced for the analysis...
  • CANAL

  • Referenced in 1 article [sw28166]
  • program is essential for research in software analysis and verification, since it reduces burdens ... worst-case execution time and detecting side-channel leaks. We demonstrate the effectiveness of CANAL...
  • FGb

  • Referenced in 247 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • gmp

  • Referenced in 289 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Magma

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

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

  • Referenced in 2033 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SCIP

  • Referenced in 554 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • 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...
  • KASUMI

  • Referenced in 20 articles [sw02926]
  • KASUMI is a block cipher used in UMTS...
  • NAXOS

  • Referenced in 81 articles [sw03050]
  • LaMacchia, Lauter and Mityagin recently presented a strong...
  • KRAKATOA

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

  • Referenced in 727 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...