Richter-Brockmann, Jan, Jakob Feldtkeller, Pascal Sasdrich, and Tim Güneysu. 2022. “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 (4):255-84. https://doi.org/10.46586/tches.v2022.i4.255-284.