“Masking in Fine-Grained Leakage Models: Construction, Implementation and Verification”. IACR Transactions on Cryptographic Hardware and Embedded Systems, vol. 2021, no. 2, Feb. 2021, pp. 189-28, https://doi.org/10.46586/tches.v2021.i2.189-228.