434 search results - page 12 / 87 » Logical Analysis of Hash Functions |
85
Voted
IFIP
1994
Springer
15 years 6 months ago
1994
Springer
123
Voted
TAP
2010
Springer
15 years 7 months ago
2010
Springer
This paper presents techniques for applying a finite relational model finder to logical specifications that involve (co)inductive predicates, (co)algebraic datatypes, and (co)re...
133
Voted
FMCAD
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
130
Voted
ACISP
2010
Springer
15 years 21 days ago
2010
Springer
Many applications using cryptographic hash functions do not require collision resistance, but some kind of preimage resistance. That's also the reason why the widely used SHA-...
140
click to vote
TALG
2008
15 years 2 months ago
2008
Abstract. We present a new analysis of the well-known family of multiplicative hash functions, and improved deterministic algorithms for selecting "good" hash functions. ...