Pages that link to "Item:Q5756584"

The following pages link to Applications of SAT Solvers to Cryptanalysis of Hash Functions (Q5756584):

Displaying 29 items.

• A SAT-based preimage analysis of reduced \textsc{Keccak} hash functions (Q396606) (← links)
• Boolean polynomials, BDDs and CRHS equations -- connecting the dots with CryptaPath (Q832343) (← links)
• Lower bound on average-case complexity of inversion of Goldreich's function by drunken backtracking algorithms (Q1678752) (← links)
• The complexity of inverting explicit Goldreich's function by DPLL algorithms (Q1946844) (← links)
• Covered clauses are not propagation redundant (Q2096437) (← links)
• Automatic verification of differential characteristics: application to reduced Gimli (Q2102064) (← links)
• Hash-based preprocessing and inprocessing techniques in SAT solvers (Q2118288) (← links)
• Meet-in-the-middle attacks and structural analysis of round-reduced PRINCE (Q2188966) (← links)
• Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results (Q2216123) (← links)
• On propositional coding techniques for the distinguishability of objects in finite sets (Q2272883) (← links)
• Side-channel cryptographic attacks using pseudo-Boolean optimization (Q2398519) (← links)
• Mind the propagation of states. New automatic search tool for impossible differentials and impossible polytopic transitions (Q2692350) (← links)
• Analysis of Boomerang Differential Trails via a SAT-Based Constraint Solver URSA (Q2794507) (← links)
• Automatic Search of Meet-in-the-Middle and Impossible Differential Attacks (Q2829214) (← links)
• Empirical Study of the Anatomy of Modern Sat Solvers (Q3007695) (← links)
• Practical Algebraic Attacks on the Hitag2 Stream Cipher (Q3399209) (← links)
• Preprocessing for DQBF (Q3453223) (← links)
• A View from the Engine Room: Computational Support for Symbolic Model Checking (Q3512438) (← links)
• Algebraic and Slide Attacks on KeeLoq (Q3525663) (← links)
• Applications of SAT Solvers in Cryptanalysis: Finding Weak Keys and Preimages (Q5015592) (← links)
• The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1 (Q5015602) (← links)
• (Q5109519) (← links)
• Study of discrete automaton models of gene networks of nonregular structure using symbolic calculations (Q5264738) (← links)
• (Q5407103) (← links)
• Algebraic Cryptanalysis of the Data Encryption Standard (Q5447514) (← links)
• Exploring SAT for cryptanalysis: (quantum) collision attacks against 6-round SHA-3 (Q6135452) (← links)
• Automated-based rebound attacks on ACE permutation (Q6636106) (← links)
• New records in collision attacks on SHA-2 (Q6636388) (← links)
• SAT solving using XOR-OR-AND normal forms. (Q6653668) (← links)