Automatic Compositional Verification of Some Security Properties
No abstract available.
Related papers
- SMT-Boosted Security Types for Low-Level MPC ESOP 2025
- Lazy Self-composition for Security Verification CAV 2018
- Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks OOPSLA 2023
- Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning APLAS 2019
- SecCSL: Security Concurrent Separation Logic CAV 2019
- Type-preserving compilation of end-to-end verification of security enforcement PLDI 2010
- End-to-end verification of information-flow security for C and assembly programs PLDI 2016
- EVA: a Tool for the Compositional Verification of AUTOSAR Models TACAS 2023