Prover - Toward More Efficient Formal Verification of Masking in Probing Model. TCHES 2024, 2025 (1), 552-585. https://doi.org/10.46586/tches.v2025.i1.552-585.