VERICA - Verification of Combined Attacks: Automated Formal Verification of Security Against Simultaneous Information Leakage and Tampering. TCHES 2022, 2022 (4), 255-284. https://doi.org/10.46586/tches.v2022.i4.255-284.