Information Processing Letters · 2013 · 56 citations · 8 references
ComputingComputer ScienceMathematicsAlgorithmsCryptographyTheory Of ComputationBoolean AlgebraCryptographic ComplexityCryptographic HashingHash FunctionsHash TablesLookup TablesHash Function AnalysisHash Function AttacksHash Function DesignHashingSat Attacks
8
Handbook of applied cryptography
Choice Reviews Online · 1997 · 10.5K citations · Full text
The complexity of theorem-proving procedures
Stephen Cook · 1971 · 6.2K citations · Full text
A machine program for theorem-proving
Martin Davis, George Logemann, Donald Loveland · Communications of the ACM · 1962 · 3.2K citations · Full text
A Computing Procedure for Quantification Theory
Martin Davis, Hilary Putnam · Journal of the ACM · 1960 · 2.6K citations · Full text
Using Walk-SAT and Rel-SAT for cryptographic key search
Fabio Massacci · 1999 · 53 citations