Compositional Verification of Cryptographic Circuits Against Fault Injection Attacks.

Huiyu Tan, Xi Yang, Fu Song, Taolue Chen, Zhilin Wu

Browse the full FM paper archive.