\textsc{SCInfer}: refinement-based verification of software countermeasures against side-channel attacks
From MaRDI portal
Publication:6039400
DOI10.1007/978-3-319-96142-2_12zbMath1511.68173OpenAlexW2883707793MaRDI QIDQ6039400
No author found.
Publication date: 5 May 2023
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-96142-2_12
Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Computer security (68M25)
Related Items (4)
Secure and efficient software masking on superscalar pipelined processors ⋮ Succinct Diophantine-satisfiability arguments ⋮ SILVER -- statistical independence and leakage verification ⋮ Parametric Timed Model Checking for Guaranteeing Timed Opacity
This page was built for publication: \textsc{SCInfer}: refinement-based verification of software countermeasures against side-channel attacks