Barthe, G., M. Gourjon, B. Grégoire, M. Orlt, C. Paglialonga, and L. Porth. “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.