Zhou, Feng, Hua Chen, and Limin Fan. “Prover - Toward More Efficient Formal Verification of Masking in Probing Model”. IACR Transactions on Cryptographic Hardware and Embedded Systems 2025, no. 1 (December 9, 2024): 552–585. Accessed February 3, 2025. https://bmt.ub.rub.de/index.php/TCHES/article/view/11939.