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