Results 141 to 150 of about 3,515 (171)
Some of the next articles are maybe not open access.
Comparative Study of Sha-256 Optimization Techniques
2022 IEEE World AI IoT Congress (AIIoT), 2022Bharat S. Rawal +3 more
openaire +1 more source
Algorithm for simplifying the SHA-256 operations tree
2023 IEEE International Conference on Cyber Security and Resilience (CSR), 2023Andrey I. Plotnikov, Alla Levina
openaire +1 more source
SHA-256 FALL: THE KAORU BRIDGE ATTACK A Complete Algebraic Inversion Framework for SHA-256
In this paper, I present a complete algorithmic framework for inverting SHA-256 through algebraic manipulation of internal state variables. I introduce The Kaoru Bridge - a three-phase methodology for recovering preimages from arbitrary SHA-256 hashes via carry vector extraction, reverse chain unrolling, and constraint-based validation.openaire +1 more source
Improving Local Collisions: New Attacks on Reduced SHA-256
2013In this paper, we focus on the construction of semi-free-start collisions for SHA-256, and show how to turn them into collisions. We present a collision attack on 28 steps of the hash function with practical complexity. Using a two-block approach we are able to turn a semi-free-start collision into a collision for 31 steps with a complexity of at most ...
Florian Mendel +2 more
openaire +2 more sources
Verification of a cryptographic primitive: SHA-256 (abstract)
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of functional correctness in the Coq proof assistant, using the Verifiable C program logic. Verifiable C is a separation logic for the C language, proved sound w.r.t.
openaire +1 more source
Analysis of simplified variants of SHA-256.
2005In this paper we analyse the role of some of the building blocks of SHA-256. We show that the disturbance-correction strategy is applicable to the SHA-256 architecture and we prove that functions Σ, σ are vital for the security of SHA-256 by showing that for a variant without them it is possible to find collisions with complexity 2^64 hash operations ...
Matusiewicz, Krystian +4 more
openaire +1 more source
Breaking Category Five SPHINCS$$^+$$ with SHA-256
2022Ray A. Perlner +2 more
openaire +2 more sources
SHA-256 Hash Generator in Verilog HDL
2025 32nd International Conference on Mixed Design of Integrated Circuits and System (MIXDES)Bartosz Rulka +2 more
openaire +1 more source
Multi-core and SIMD Architecture Based Implementation on SHA-256 of Blockchain
Communications in Computer and Information Science, 2021Xing Fan, Baoning Niu, Niu Baoning
exaly