“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 November 21, 2024. https://ojs.ub.ruhr-uni-bochum.de/index.php/TCHES/article/view/9820.