6404 search results - page 407 / 1281 » Blocks |
139
click to vote
CHES
2007
Springer
16 years 28 days ago
2007
Springer
This paper describes a new compression function, MAME designed for hardware-oriented hash functions which can be used in applications reduced hardware requirements. MAME takes a 25...
150
click to vote
FSE
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In Wang’s attack, message modifications allow to deterministically satisfy certain sufficient conditions to find collisions efficiently. Unfortunately, message modi...
180
click to vote
ICALP
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
145
click to vote
ICALP
2007
Springer
16 years 27 days ago
2007
Springer
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...
203
click to vote
ICDT
2007
ACM
16 years 27 days ago
2007
ACM
Abstract. We study containment of conjunctive queries that are evaluated over databases that may contain tuples with null values. We assume the semantics of SQL for single block qu...