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…