“Automated Generation of Fault-Resistant Circuits” (2024) IACR Transactions on Cryptographic Hardware and Embedded Systems, 2024(3), pp. 136–173. doi:10.46586/tches.v2024.i3.136-173.