858 search results - page 52 / 172 » On the Salsa20 Core Function |
ACNS
2005
Springer
14 years 2 months ago
2005
Springer
We present Badger, a new fast and provably secure MAC based on universal hashing. In the construction, a modified tree hash that is more efficient than standard tree hashing is us...
FSE
2010
Springer
14 years 1 months ago
2010
Springer
In this paper we analyze the security of systems based on modular additions, rotations, and XORs (ARX systems). We provide both theoretical support for their security and practical...
TLCA
2001
Springer
14 years 1 months ago
2001
Springer
We introduce λµ→∧∨⊥ , an extension of Parigot’s λµ-calculus where disjunction is taken as a primitive. The associated reduction relation, which includes the permutati...
WETICE
1999
IEEE
14 years 1 months ago
1999
IEEE
The prevailing architecture for web-based applications relies on HTML, HTTP and loosely integrated functional elements, propagating a strong distinction between client and server....
Book
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...