9626 search results - page 1640 / 1926 » Invariant Based Programming |
134
click to vote
EUROCRYPT
2005
Springer
16 years 5 days ago
2005
Springer
This paper introduces the related-key boomerang and the related-key rectangle attacks. These new attacks can expand the cryptanalytic toolbox, and can be applied to many block ciph...
173
Voted
FCT
2005
Springer
16 years 5 days ago
2005
Springer
We prove optimal lower bounds for multilinear circuits and for monotone circuits with bounded depth. These lower bounds state that, in order to compute certain functions, these cir...
196
Voted
GRID
2005
Springer
16 years 5 days ago
2005
Springer
— We present the ASKALON environment whose goal is to simplify the development and execution of workflow applications on the Grid. ASKALON is centered around a set of high-level...
149
click to vote
HIP
2005
Springer
16 years 5 days ago
2005
Springer
Web-based services designed for human users are being abused by computer programs (bots). This real-world issue has recently generated a new research area called Human Interactive...
169
click to vote
ICALP
2005
Springer
16 years 5 days ago
2005
Springer
We present a single-database private information retrieval (PIR) scheme with communication complexity O(k+d), where k ≥ log n is a security parameter that depends on the database...