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