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