“VERICA - Verification of Combined Attacks: Automated Formal Verification of Security Against Simultaneous Information Leakage and Tampering”. IACR Transactions on Cryptographic Hardware and Embedded Systems 2022, no. 4 (August 31, 2022): 255–284. Accessed December 26, 2024. https://tches.iacr.org/index.php/TCHES/article/view/9820.