research
∙
11/21/2019
Assessing Cyber-Physical Security in Industrial Control Systems
Over the last years, Industrial Control Systems (ICS) have become increa...
research
∙
11/01/2019
MaxSAT Evaluation 2019 – Benchmark: Identifying Security-Critical Cyber-Physical Components in Weighted AND/OR Graphs
This paper presents a MaxSAT benchmark focused on identifying critical n...
research
∙
05/12/2019