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