Barthe, G., Gourjon, M., Grégoire, B., Orlt, M., Paglialonga, C. and Porth, L. (2021) “Masking in Fine-Grained Leakage Models: Construction, Implementation and Verification”, IACR Transactions on Cryptographic Hardware and Embedded Systems, 2021(2), pp. 189-228. doi: 10.46586/tches.v2021.i2.189-228.