• CAESAR_SOLVE

  • Referenced in 14 articles [sw10194]
  • CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation...
  • CAESAR

  • Referenced in 9 articles [sw29138]
  • caesar - compilation & verification of LOTOS specifications. caesar [Gar89b,GS90] is a compiler that translates ... corresponding to the behaviour of this specification. caesar itself does not embody verification capabilities ... LOTOS sorts and operations defined in filename.lotos, caesar performs successive transformation steps and produces ... latter case, the result of caesar is the graph itself, rather than the C program...
  • Minalpher

  • Referenced in 10 articles [sw40314]
  • authenticated encryption algorithm submitted to CAESAR (Competition for Authenticated Encryption: Security, Applicability, and Robustness...
  • ATHENa

  • Referenced in 7 articles [sw29717]
  • candidates in the SHA-3 and CAESAR contests; Cryptographic architectures and implementations, e.g., basic iterative...
  • CryptoSAT

  • Referenced in 3 articles [sw31706]
  • Standard, Secure Hash Algorithm 3, or currently CAESAR. However, due to the increasing number...
  • Minerva

  • Referenced in 1 article [sw32109]
  • authenticated cipher candidates competing in the CAESAR cryptographic contest, where best TPA ratio (without ... evaluate RTL designs of 29 Round 2 CAESAR candidates and the current standard...
  • DLCT

  • Referenced in 1 article [sw31786]
  • experimental results on Serpent and on the CAESAR finalist Ascon which did not comply with...
  • TGV

  • Referenced in 2 articles [sw32267]
  • The test sequence generator TGV: TGV (Test Generation...
  • AEGIS

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

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

  • Referenced in 2809 articles [sw04968]
  • NIST digital library of mathematical functions. The National...
  • Salsa20

  • Referenced in 39 articles [sw06165]
  • The Salsa20 encryption function, also known as Snuffle...
  • Excel

  • Referenced in 786 articles [sw06848]
  • Microsoft Excel is a powerful spreadsheet application that...
  • JavaScript

  • Referenced in 168 articles [sw06868]
  • JavaScript is a scripting language for computers. It...
  • Plingeling

  • Referenced in 75 articles [sw07091]
  • Lingeling, plingeling, picosat and precosat at sat race...
  • ChaCha

  • Referenced in 31 articles [sw07098]
  • ChaCha, a variant of Salsa20. ChaCha8 is a...
  • eBASH

  • Referenced in 21 articles [sw07103]
  • eBACS: ECRYPT benchmarking of cryptographic systems...
  • spongent

  • Referenced in 21 articles [sw08445]
  • spongent: A Lightweight Hash Function. This paper proposes...
  • eBACS

  • Referenced in 40 articles [sw09828]
  • eBACS: ECRYPT Benchmarking of Cryptographic Systems. Measurements of...
  • Keccak

  • Referenced in 82 articles [sw09834]
  • Keccak is a family of sponge functions. The...