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