“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.