Barthe, G., Gourjon, M., Grégoire, B., Orlt, M., Paglialonga, C., & Porth, L. (2021). Masking in Fine-Grained Leakage Models: Construction, Implementation and Verification. IACR Transactions on Cryptographic Hardware and Embedded Systems, 2021(2), 189–228. https://doi.org/10.46586/tches.v2021.i2.189-228