SMT-Based Verification of Software Countermeasures against Side-Channel Attacks
No abstract available.
Related papers
- SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks CAV 2018
- Synthesis of Masking Countermeasures against Side Channel Attacks CAV 2014
- Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks OOPSLA 2023
- Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks TACAS 2019
- Preservation of Speculative Constant-Time by Compilation POPL 2025
- Automated Verification of Correctness for Masked Arithmetic Programs CAV 2023
- Constant-time foundations for the new spectre era PLDI 2020
- Rigorous analysis of software countermeasures against cache attacks PLDI 2017