3 papers
cs.CR2019
Systematic Classification of Attackers via Bounded Model Checking
Eric Rothstein-Morris, Sun Jun, Sudipta Chattopadhyay
In this work, we study the problem of verification of systems in the presence of attackers using bounded model checking. Given a system and a set of security requirements, we prese…
cs.LO2018
Quantifying Attacker Capability Via Model Checking Multiple Properties (Extended Version)
Eric Rothstein-Morris, Sun Jun
This work aims to solve a practical problem, i.e., how to quantify the risk brought upon a system by different attackers. The answer is useful for optimising resource allocation fo…
cs.CR2017
Design-Time Quantification of Integrity in Cyber-Physical-Systems
Eric Rothstein Morris, Carlos G. Murguia, Martín Ochoa
In a software system it is possible to quantify the amount of information that is leaked or corrupted by analysing the flows of information present in the source code. In a cyber-p…