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