3 papers
cs.CR2025
Reproducing a Security Risk Assessment Using Computer Aided Design
Avi Shaked
Security risk assessment is essential in establishing the trustworthiness and reliability of modern systems. While various security risk assessment approaches exist, prevalent appl…
cs.CR2025
Automated Reasoning for Vulnerability Management by Design
Avi Shaked, Nan Messe
For securing systems, it is essential to manage their vulnerability posture and design appropriate security controls. Vulnerability management allows to proactively address vulnera…
cs.CR2025
Consistent and Compatible Modelling of Cyber Intrusions and Incident Response Demonstrated in the Context of Malware Attacks on Critical Infrastructure
Peter Maynard, Yulia Cherdantseva, Avi Shaked +2
Cyber Security Incident Response (IR) Playbooks are used to capture the steps required to recover from a cyber intrusion. Individual IR playbooks should focus on a specific type of…