“Automated Generation of Fault-Resistant Circuits”. IACR Transactions on Cryptographic Hardware and Embedded Systems, vol. 2024, no. 3, July 2024, pp. 136-73, https://doi.org/10.46586/tches.v2024.i3.136-173.