434 search results - page 22 / 87 » Logical Analysis of Hash Functions |
95
Voted
EUROCRYPT
2000
Springer
15 years 4 months ago
2000
Springer
We exhibit an attack against a signature scheme recently proposed by Gennaro, Halevi and Rabin [9]. The scheme's security is based on two assumptions namely the strong RSA ass...
96
Voted
CRYPTO
2005
Springer
15 years 6 months ago
2005
Springer
We investigate several previously suggested scenarios of instantiating random oracles (ROs) with “realizable” primitives in cryptographic schemes. As candidates for such “in...
88
Voted
DAC
2010
ACM
15 years 4 months ago
2010
ACM
Understanding the flow of information is an important aspect in computer security. There has been a recent move towards tracking information in hardware and understanding the flow...
116
click to vote
JELIA
2004
Springer
15 years 5 months ago
2004
Springer
Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based ...
83
Voted
CIE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...