Details for the publication TanGSCW24.

Huiyu Tan, Pengfei Gao, Fu Song (), Taolue Chen (), Zhilin Wu (): SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits. In IACR Trans. Cryptogr. Hardw. Embed. Syst. 2024:1-39, 2024. DOI BIB