Automated Generation of Masked Hardware. TCHES 2021, 2022 (1), 589-629. https://doi.org/10.46586/tches.v2022.i1.589-629.