(1)
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.