“Masking in Fine-Grained Leakage Models: Construction, Implementation and Verification” (2021) IACR Transactions on Cryptographic Hardware and Embedded Systems, 2021(2), pp. 189–228. doi:10.46586/tches.v2021.i2.189-228.