Barthe, Gilles, Marc Gourjon, Benjamin Grégoire, Maximilian Orlt, Clara Paglialonga, and Lars Porth. 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.