Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits
No abstract available.
Related papers
- Rigorous analysis of software countermeasures against cache attacks PLDI 2017
- Synthesis of Masking Countermeasures against Side Channel Attacks CAV 2014
- From Low-Level Fault Modeling (of a Pipeline Attack) to a Proven Hardening Scheme CC 2024
- Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks OOPSLA 2023
- Formally Verified Hardening of C Programs against Hardware Fault Injection CPP 2025
- SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks CAV 2018
- SecSwift, a Compiler-Based Framework for Software Countermeasures in Cybersecurity CGO 2026
- Adversarial Reachability for Program-level Security Analysis ESOP 2023