Security Testing & Verification (STEVE), 2023

Computer-aided Verification for Countermeasures against Physical Attacks.

• Jan Richter-Brockmann

Link to full Talk

This talk covers the computer-aided verification of countermeasures against side-channel and fault-injection attacks. It mainly introduces our verification tool VERICA.

• Side-Channel Analysis
• Fault-Injection Analysis
• Combined Analysis
• Computer-aided Verification
• BDD