Prover - Toward More Efficient Formal Verification of Masking in Probing Model. TCHES [Internet]. 2024 Dec. 9 [cited 2024 Dec. 23];2025(1):552-85. Available from: https://ojs.ub.rub.de/index.php/TCHES/article/view/11939