Buchumschlag

SHA-256 Collision Attack with Programmatic SAT

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Alamgir, Nahiyan, Nejati, Saeed, Bright, Curtis
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Cryptography and Security Discrete Mathematics Logic in Computer Science Symbolic Computation
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

SAT and Lattice Reduction for Integer Factorization
von: Ajani, Yameen, et al.
Veröffentlicht: (2024)

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3, 8)$ and $R(3, 9)$ Problems
von: Li, Zhengyu, et al.
Veröffentlicht: (2025)

Symbolic Sets for Proving Bounds on Rado Numbers
von: Ahmed, Tanbir, et al.
Veröffentlicht: (2025)

Queen Domination by SAT Solving
von: Rostami, Taha, et al.
Veröffentlicht: (2025)

Reasoning About Action and Change
von: de Saint-Cyr, Florence Dupin, et al.
Veröffentlicht: (2024)

Algebraic anti-unification
von: Antić, Christian
Veröffentlicht: (2024)

Access Hoare Logic
von: Beckmann, Arnold, et al.
Veröffentlicht: (2025)

North-East Lattice Paths Avoiding $k$ Collinear Points via Satisfiability
von: Barnoff, Aaron, et al.
Veröffentlicht: (2025)

Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model
von: Moran, Murat
Veröffentlicht: (2026)

SAT-Solving the Poset Cover Problem
von: Yuan, Chih-Cheng Rex, et al.
Veröffentlicht: (2025)

A Rank 23 Algorithm for Multiplying 3 x 3 Matrices with an Arithmetic Complexity of 59
von: Mårtensson, Erik, et al.
Veröffentlicht: (2025)

Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation
von: Van Caudenberg, Daimy, et al.
Veröffentlicht: (2025)

Function Recovery Attacks in Gate-Hiding Garbled Circuits using SAT Solving
von: Yin, Chao, et al.
Veröffentlicht: (2026)

Representing Piecewise-Linear Functions by Functions with Minimal Arity
von: Koutschan, Christoph, et al.
Veröffentlicht: (2024)

On Linear Representation, Complexity and Inversion of maps over finite fields
von: Anantharaman, Ramachandran, et al.
Veröffentlicht: (2020)

Redundancy analysis using lcm-filtrations: networks, system signature and sensitivity evaluation
von: Mohammadi, Fatemeh, et al.
Veröffentlicht: (2025)

A general optimization solver based on OP-to-MaxSAT reduction
von: Zhao, Yuxin, et al.
Veröffentlicht: (2026)

Logic-based analogical proportions
von: Antić, Christian
Veröffentlicht: (2024)

A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
von: Fuchser, Janne, et al.
Veröffentlicht: (2025)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
von: Lyon, Tim S.
Veröffentlicht: (2022)

Optimal Communication Unbalanced Private Set Union
von: Dumas, Jean-Guillaume, et al.
Veröffentlicht: (2024)

Formal Power Series on Algebraic Cryptanalysis
von: Nakamura, Shuhei
Veröffentlicht: (2020)

Cryptanalysis of a multivariate CCZ scheme
von: Caminata, Alessio, et al.
Veröffentlicht: (2025)

Computation of the Hilbert Series for the Support-Minors Modeling of the MinRank Problem
von: Bardet, Magali, et al.
Veröffentlicht: (2025)

Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust
von: Dasu, Vishnu Asutosh, et al.
Veröffentlicht: (2026)

Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions
von: Bino, Melki
Veröffentlicht: (2026)

Home Spaces and Invariants to Analyze Parameterized Petri Nets
von: Memmi, Gerard
Veröffentlicht: (2024)

Hypergraph rewriting and Causal structure of $λ-$calculus
von: Bajaj, Utkarsh
Veröffentlicht: (2024)

Learning Foundations Beneath the Stars
von: Cardone, Felice, et al.
Veröffentlicht: (2026)

On the Subspace Orbit Problem and the Simultaneous Skolem Problem
von: Bacik, Piotr, et al.
Veröffentlicht: (2026)

Continuous Petri Nets Faithfully Fluidify Most Permissive Boolean Networks
von: Haar, Stefan, et al.
Veröffentlicht: (2025)

Verifying Sampling Algorithms via Distributional Invariants
von: Zilken, Daniel, et al.
Veröffentlicht: (2025)

Efficient reversal of transductions of sparse graph classes
von: Dreier, Jan, et al.
Veröffentlicht: (2026)

On the number of asynchronous attractors in AND-NOT Boolean networks
von: Trinh, Van-Giang, et al.
Veröffentlicht: (2025)

Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes
von: Dreier, Jan
Veröffentlicht: (2021)

Advances in Algorithmic Meta Theorems
von: Siebertz, Sebastian, et al.
Veröffentlicht: (2024)

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
von: Dreier, Jan, et al.
Veröffentlicht: (2024)

Separability Properties of Monadically Dependent Graph Classes
von: Bonnet, Édouard, et al.
Veröffentlicht: (2025)

Existential Positive Transductions of Sparse Graphs
von: Mählmann, Nikolas, et al.
Veröffentlicht: (2026)

Characterizations of monadically dependent tree-ordered weakly sparse structures
von: Buffière, Hector, et al.
Veröffentlicht: (2026)