Content tagged with Countermeasures

• VERICA - Verification of Combined Attacks: Automated formal verification of security against simultaneous information leakage and tampering.
• FIVER - Robust Verification of Countermeasures against Fault Injections.