“Automated Generation of Masked Hardware”, TCHES, vol. 2022, no. 1, pp. 589–629, Nov. 2021, doi: 10.46586/tches.v2022.i1.589-629.