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