Prover - Toward More Efficient Formal Verification of Masking in Probing Model. IACR Transactions on Cryptographic Hardware and Embedded Systems, [S. l.], v. 2025, n. 1, p. 552–585, 2024. DOI: 10.46586/tches.v2025.i1.552-585. Disponível em: https://metalla.org/index.php/TCHES/article/view/11939.. Acesso em: 16 dec. 2024.