Article
Analysis of the cryptographic strength of the SHA-256 hash function using the SAT approach
April 2025