G. Barthe, M. Gourjon, B. Grégoire, M. Orlt, C. Paglialonga, and L. Porth, “Masking in Fine-Grained Leakage Models: Construction, Implementation and Verification”, TCHES, vol. 2021, no. 2, pp. 189–228, Feb. 2021.