Richter-Brockmann, J.; Feldtkeller, J.; Sasdrich, P.; Güneysu, T. VERICA - Verification of Combined Attacks: Automated Formal Verification of Security Against Simultaneous Information Leakage and Tampering. TCHES 2022, 2022, 255-284.