SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits

SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits

Fault injection attacks represent a type of active, physical attack against cryptographic circuits. Various countermeasures have been proposed to thwart such attacks, however, the design and implementation of which are intricate, error-prone, and laborious. The current formal fault-resistance verif...

Full description

Bibliographic Details
Main Authors: Huiyu Tan, Pengfei Gao, Fu Song, Taolue Chen, Zhilin Wu
Format: Article
Language:English
Published: Ruhr-Universität Bochum 2024-09-01
Series:Transactions on Cryptographic Hardware and Embedded Systems
Subjects:
Fault Injection
Cryptographic Circuits
SAT
Formal Verification
Online Access:https://tches.iacr.org/index.php/TCHES/article/view/11782

Internet

https://tches.iacr.org/index.php/TCHES/article/view/11782

Similar Items