Barthe, G.; Gourjon, M.; Grégoire, B.; Orlt, M.; Paglialonga, C.; Porth, L. Masking in Fine-Grained Leakage Models: Construction, Implementation and Verification. TCHES 2021, 2021, 189-228.