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