Richter-Brockmann, Jan, Jakob Feldtkeller, Pascal Sasdrich, and Tim Güneysu. “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 October 1, 2022. https://tches.iacr.org/index.php/TCHES/article/view/9820.