Conference proceeding
CRV: Automated Cyber-Resiliency Reasoning for System Design Models
2023 Formal Methods in Computer-Aided Design (FMCAD), pp.209-220
10/24/2023
DOI: 10.34727/2023/isbn.978-3-85448-060-0_29
Abstract
We present the design and implementation of an automated static analysis approach and corresponding diagnostic tool, called Cyber Resiliency Verifier (CRV), to check whether a system design satisfies its end-to-end guarantees when the integrity of one or more of its components cannot be guaranteed. CRV's key insight is to reason about effects of integrity attacks instead of concrete attacks, enabling it to reason also about the impact of future attacks having the same captured effects. We demonstrate CRV's effectiveness with a case study on a realistic design of an unmanned aerial delivery drone.
Details
- Title: Subtitle
- CRV: Automated Cyber-Resiliency Reasoning for System Design Models
- Creators
- Daniel Larraz - The University of Iowa,Iowa City,USARobert Lorch - The University of Iowa,Iowa City,USAMoosa Yahyazadeh - University of IowaM. Fareed Arif - University of OxfordOmar Chowdhury - Stony Brook UniversityCesare Tinelli - University of Iowa
- Resource Type
- Conference proceeding
- Publication Details
- 2023 Formal Methods in Computer-Aided Design (FMCAD), pp.209-220
- DOI
- 10.34727/2023/isbn.978-3-85448-060-0_29
- eISSN
- 2708-7824
- Publisher
- FMCAD Association and individual authors
- Language
- English
- Date published
- 10/24/2023
- Academic Unit
- Computer Science
- Record Identifier
- 9984528125902771
Metrics
66 Record Views