• Poly1305-AES

  • Referenced in 21 articles [sw26748]
  • Poly1305-AES message-authentication code. Poly1305-AES is a state-of-the-art message-authentication ... code suitable for a wide variety of applications. Poly1305-AES computes a 16-byte authenticator ... variable-length message, using a 16-byte AES key, a 16-byte additional...
  • M-TREE

  • Referenced in 14 articles [sw02565]
  • MTREE architecture uses a novel hierarchical Message Authentication Code Tree (MACTree) for protecting applications’ integrity...
  • digest

  • Referenced in 5 articles [sw16125]
  • function ’hmac()’ to create hash-based message authentication code. Please note that this package...
  • Alred

  • Referenced in 1 article [sw20410]
  • analyze two Alred variants—the Marvin message authentication code and the LetterSoup authenticated-encryption scheme...
  • Marvin

  • Referenced in 1 article [sw20412]
  • analyze two Alred variants—the Marvin message authentication code and the LetterSoup authenticated-encryption scheme...
  • LetterSoup

  • Referenced in 1 article [sw20413]
  • analyze two Alred variants—the Marvin message authentication code and the LetterSoup authenticated-encryption scheme...
  • HACL*

  • Referenced in 4 articles [sw36852]
  • Salsa20 encryption algorithms, Poly1305 and HMAC message authentication, SHA-256 and SHA-512 hash functions ... language and then compiled to readable C code. The F* source code for each cryptographic...
  • ASPIER

  • Referenced in 6 articles [sw09852]
  • ASPIER tool and used it to verify authentication and secrecy properties of a part ... distinct methods for reasoning about attacker message derivations, and evaluated them in the context ... rollback” vulnerability in OpenSSL 0.9.6c source code and successfully verified the implementation when clients...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • LEDA

  • Referenced in 263 articles [sw00509]
  • In the core computer science areas -- data structures...
  • MapReduce

  • Referenced in 262 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Matlab

  • Referenced in 13460 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

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

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

  • Referenced in 250 articles [sw02076]
  • Practical power analysis attacks on software implementations of...
  • HAVAL

  • Referenced in 45 articles [sw02156]
  • HAVAL is a cryptographic hash function. Unlike MD5...
  • MPICH-G2

  • Referenced in 35 articles [sw02373]
  • MPICH-G2: A grid-enabled implementation of the...
  • OMAC

  • Referenced in 9 articles [sw02642]
  • Modeling involves a series of stages, from the...
  • SPINS

  • Referenced in 49 articles [sw02657]
  • Wireless sensor networks will be widely deployed in...
  • KASUMI

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