Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/506
Title: | Logical analysis of hash functions | Authors: | Jovanović, Dejan Janičić, Predrag |
Affiliations: | Informatics and Computer Science | Issue Date: | 1-Jan-2005 | Related Publication(s): | International Workshop on Frontiers of Combining Systems FroCoS 2005 | Journal: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Abstract: | In this paper we report on a novel approach for uniform encoding of hash functions (but also other cryptographic functions) into propositional logic formulae, and reducing cryptanalysis problems to the satisfiability problem. The approach is general, elegant, and does not require any human expertise on the construction of a specific cryptographic function. By using this approach, we developed a technique for generating hard and satisfiable propositional formulae and hard and unsatisfiable propositional formulae. In addition, one can finely tune the hardness of generated formulae. This can be very important for different applications, including testing (complete or incomplete) SAT solvers. The uniform logical analysis of cryptographic functions can be used for comparison between different functions and can expose weaknesses of some of them (as shown for MD4 in comparison with MD5). © Springer-Verlag Berlin Heidelberg 2005. |
URI: | https://research.matf.bg.ac.rs/handle/123456789/506 | ISBN: | 3540290516 | ISSN: | 03029743 | DOI: | 10.1007/11559306_11 |
Appears in Collections: | Research outputs |
Show full item record
SCOPUSTM
Citations
20
checked on Dec 20, 2024
Page view(s)
20
checked on Dec 24, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.