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