Barthe, G. (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.