“SAT-Based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits”. IACR Transactions on Cryptographic Hardware and Embedded Systems, vol. 2024, no. 4, Sept. 2024, pp. 1-39, https://doi.org/10.46586/tches.v2024.i4.1-39.