Results 1 to 20 of 69
Sort by:

  • McEliece
  • Referenced in 250 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 2 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 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...

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

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

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

  • SCIP
  • Referenced in 536 articles [sw01091]
  • SCIP is currently one of the fastest non...

  • BLISS
  • Referenced in 24 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 73 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 679 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...