H. Tan, P. Gao, F. Song, T. Chen, and Z. Wu, “SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits”, TCHES, vol. 2024, no. 4, pp. 1–39, Sep. 2024, doi: 10.46586/tches.v2024.i4.1-39.