
Poly1305AES
 Referenced in 21 articles
[sw26748]
 Poly1305AES messageauthentication code. Poly1305AES is a stateoftheart messageauthentication ... code suitable for a wide variety of applications. Poly1305AES computes a 16byte authenticator ... variablelength message, using a 16byte AES key, a 16byte additional...

MTREE
 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 hashbased 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 authenticatedencryption scheme...

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

LetterSoup
 Referenced in 1 article
[sw20413]
 analyze two Alred variants—the Marvin message authentication code and the LetterSoup authenticatedencryption scheme...

HACL*
 Referenced in 4 articles
[sw36852]
 Salsa20 encryption algorithms, Poly1305 and HMAC message authentication, SHA256 and SHA512 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 highlevel 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, opensource 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...

MPICHG2
 Referenced in 35 articles
[sw02373]
 MPICHG2: A gridenabled 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...