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