Barthe, Gilles, et al. “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, doi:10.46586/tches.v2021.i2.189-228.