Tan, Huiyu, Pengfei Gao, Fu Song, Taolue Chen, and Zhilin Wu. “SAT-Based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits”. IACR Transactions on Cryptographic Hardware and Embedded Systems 2024, no. 4 (September 5, 2024): 1–39. Accessed April 4, 2025. https://tches.iacr.org/index.php/TCHES/article/view/11782.