Showing cs.CRShow all
2 papers · 1 filter
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.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…