Details for the publication TanYSCW24.

Huiyu Tan, Xi Yang, Fu Song (), Taolue Chen (), Zhilin Wu (): Compositional Verification of Cryptographic Circuits against Fault Injection Attacks. In Proceedings of the 26th International Symposium on Formal Methods (FM), 2024. URL BIB