J. Richter-Brockmann, J. Feldtkeller, P. Sasdrich, and T. Güneysu, “VERICA - Verification of Combined Attacks: Automated formal verification of security against simultaneous information leakage and tampering”, TCHES, vol. 2022, no. 4, pp. 255–284, Aug. 2022.