jaircazarin documents

Cryptanalysis of Hash Functions using an approach based on SAT-solvers (Formal Proposal, first draft)
Documents Cryptanalysis of Hash Functions using an approach based on SAT-solvers (Formal Proposal, first draft)