Sciweavers

1861 search results - page 21 / 373
» Pattern Databases
Sort
View
95
Voted
TACAS
2004
Springer
130views Algorithms» more  TACAS 2004»
15 years 7 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 5 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