Work

Comparative Analysis of SMT Solvers for Differential Cryptanalysis of SHA-2

Year: 2025

Type: conference-paper

Source: City Research Online (City University London)

Authors: Barlik, M., Brain, M.

Language: English

Topic: Cryptographic Implementations and Security

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W7082316005

FWCI:

Cites:

Cited by:

Related to: