Results 171 to 180 of about 12,741,900 (205)
Some of the next articles are maybe not open access.
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
Breaking Category Five SPHINCS$$^+$$ with SHA-256
2022Ray A. Perlner +2 more
openaire +3 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
SCRAM-SHA-256 and SCRAM-SHA-256-PLUS Simple Authentication and Security Layer (SASL) Mechanisms.
RFC, 2015openaire +2 more sources
…And a Little Child Shall Lead Them
Ca-A Cancer Journal for Clinicians, 1962Roald N Grant, R N Grant
exaly
Analysis of SHA-512/224 and SHA-512/256
Lecture Notes in Computer Science, 2015Christoph Dobraunig, Maria Eichlseder
exaly
Efficient Collision Search Attacks on SHA-0
Lecture Notes in Computer Science, 2005Xiaoyun Wang
exaly