Attacks on cyber-physical systems (CPS) continue to grow in frequency. However,
cybersecurity academics and practitioners have so far focused primarily on computer …

Recovery of interdependent infrastructure networks in the presence of catastrophic failure is
crucial to the economy and welfare of society. Recently, centralized methods have been …

Critical infrastructure networks are vital for a functioning society and their failure can have
widespread consequences. Decision-making for critical infrastructure resilience can suffer …

Despite the considerable success enjoyed by machine learning techniques in practice,
numerous studies demonstrated that many approaches are vulnerable to attacks. An …

Stackelberg security games have received much attention in recent years. While most
existing work focuses on single-defender settings, there are many real-world scenarios that …

Formal methods for strategic reasoning play a fundamental role in Multi-Agent System
(MAS) design and verification [3, 16, 56, 67, 71, 77, 79]. This success story originated from …

We introduce a game-theoretic framework to compute optimal and strategic security
investments by multiple defenders. Each defender is responsible for the security of multiple …

Abstract Stackelberg Security Games (SSGs) gained recently a lot of attention and popularity
due to a bunch of successful practical applications in the field of security maintenance. SSGs …

We introduce a unified framework for the study of multilevel mixed integer linear optimization
problems and multistage stochastic mixed integer linear optimization problems with …

A “noisy-rich”(NR) cyber-attacker (Lippmann et al. 2012) is one who tries all available
vulnerabilities until he or she successfully compromises the targeted network. We develop …