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