“Prover - Toward More Efficient Formal Verification of Masking in Probing Model”, TCHES, vol. 2025, no. 1, pp. 552–585, Dec. 2024, doi: 10.46586/tches.v2025.i1.552-585.