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 Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II, volume 14934 of Lecture Notes in Computer Science, pages 189-207, 2024. DOI BIB