VERICA - Verification of Combined Attacks Automated formal verification of security against simultaneous information leakage and tampering.
Jan Richter-BrockmannJakob FeldtkellerPascal SasdrichTim GüneysuPublished in: IACR Trans. Cryptogr. Hardw. Embed. Syst. (2022)