Sciweavers

2463 search results - page 53 / 493
» Compressed Pattern Databases
Sort
View
109
Voted
TACAS
2004
Springer
130views Algorithms» more  TACAS 2004»
15 years 9 months ago
Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases
Kairong Qian, Albert Nymeyer
ACNS
2006
Springer
86views Cryptology» more  ACNS 2006»
15 years 7 months ago
Efficient Memory Bound Puzzles Using Pattern Databases
CPU bound client puzzles have been suggested as a defense mechanism against connection depletion attacks. However, the wide disparity in CPU speeds prevents such puzzles from being...
Sujata Doshi, Fabian Monrose, Aviel D. Rubin