Frontiers of Combining Systems

DOI10.1007/11559306MaRDI QIDQ5491900zbMATH OpenOpenAlexFDO

Authors Dejan Jovanović, Predrag Janičić

Publication date 10 October 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11559306

Mathematics Subject Classification ID

Cryptography (94A60) Classical propositional logic (03B05)

Recommendations

• Applications of SAT Solvers to Cryptanalysis of Hash Functions
• Logical cryptanalysis as a SAT problem
• Some observations on the theory of cryptographic hash functions
• Logical cryptanalysis as a SAT problem: Encoding and analysis of the U. S. Data Encryption Standard
• scientific article; zbMATH DE number 1942817

Cited in

(7)

• Analysis of Boomerang Differential Trails via a SAT-Based Constraint Solver URSA
• Hash-based preprocessing and inprocessing techniques in SAT solvers
• Side-channel cryptographic attacks using pseudo-Boolean optimization
• Applications of SAT solvers in cryptanalysis: finding weak keys and preimages
• Logical cryptanalysis as a SAT problem
• scientific article; zbMATH DE number 7199588 (Why is no real title available?)
• Logical cryptanalysis as a SAT problem: Encoding and analysis of the U. S. Data Encryption Standard

This page was built for publication: Frontiers of Combining Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5491900)