12 search results - page 3 / 3 » New Distinguishing Attack on MAC Using Secret-Prefix Method |
FOSSACS
2009
Springer
14 years 1 days ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
ASIACRYPT
2007
Springer
13 years 11 months ago
2007
Springer
Recent collision-finding attacks against hash functions such as MD5 and SHA-1 motivate the use of provably collision-resistant (CR) functions in their place. Finding a collision ...