Automated Generation of Fault-Resistant Circuits. TCHES 2024, 2024 (3), 136-173. https://doi.org/10.46586/tches.v2024.i3.136-173.