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