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