“Prover - Toward More Efficient Formal Verification of Masking in Probing Model” (2024) IACR Transactions on Cryptographic Hardware and Embedded Systems, 2025(1), pp. 552–585. doi:10.46586/tches.v2025.i1.552-585.