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