“Automated Generation of Masked Hardware” (2021) IACR Transactions on Cryptographic Hardware and Embedded Systems, 2022(1), pp. 589–629. doi:10.46586/tches.v2022.i1.589-629.