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