D. Knichel, A. Moradi, N. Müller, and P. Sasdrich, “Automated Generation of Masked Hardware”, TCHES, vol. 2022, no. 1, pp. 589–629, Nov. 2021.