Work

An Automated Fault Attack Framework for Block Ciphers Through Property Mining and Verification

Year: 2024

Type: article

Source: IEEE Transactions on Circuits and Systems I Regular Papers

DOI: 10.1109/tcsi.2024.3456787

Authors: Xingxin Wang, Wei Hu, Shibo Tang, Xinxin Wang, Huisi Zhou

Institution: Northwestern Polytechnical University

Language: English

Topic: Cryptographic Implementations and Security

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Natural Science Foundation of China, National Key Research and Development Program of China

Awards: G1718096283, G2055012333, G473269127, G7160861369

OpenAlex ID: W4402568594

FWCI:

Cites: 44

Cited by:

Related to: 10