Frontiers of Combining Systems

DOI10.1007/11559306zbMATH Open1171.94351OpenAlexW4205914269MaRDI QIDQ5491900FDOQ5491900

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

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

Mathematics Subject Classification ID

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

Cited In (7)

• Hash-based preprocessing and inprocessing techniques in SAT solvers
• Logical cryptanalysis as a SAT problem
• Logical cryptanalysis as a SAT problem: Encoding and analysis of the U. S. Data Encryption Standard
• Analysis of Boomerang Differential Trails via a SAT-Based Constraint Solver URSA
• Applications of SAT Solvers in Cryptanalysis: Finding Weak Keys and Preimages
• Side-channel cryptographic attacks using pseudo-Boolean optimization
• Title not available (Why is that?)

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)