4 papers
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…
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…
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…
RadArnomaly: Protecting Radar Systems from Data Manipulation Attacks
Shai Cohen, Efrat Levy, Avi Shaked +3
Radar systems are mainly used for tracking aircraft, missiles, satellites, and watercraft. In many cases, information regarding the objects detected by the radar system is sent to,…