713 search results - page 107 / 143 » Dispersing Hash Functions |
CSFW
2007
IEEE
15 years 4 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
103
click to vote
ACNS
2007
Springer
15 years 4 months ago
2007
Springer
In 1990, Boyar, Chaum, Damg˚ard and Pedersen introduced convertible undeniable signatures which limit the self-authenticating property of digital signatures but can be converted b...
CHES
2007
Springer
15 years 3 months ago
2007
Springer
Message Authentication Code construction Alred and its AES-based instance Alpha-MAC were introduced by Daemen and Rijmen in 2005. We show that under certain assumptions about its i...
109
click to vote
ERCIMDL
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We present MinervaDL, a digital library architecture that supports approximate information retrieval and filtering functionality under a single unifying framework. The a...
FSE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In Wang’s attack, message modifications allow to deterministically satisfy certain sufficient conditions to find collisions efficiently. Unfortunately, message modi...