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