38 citations · 208 across the 29 of their papers we have counts for
7 papers · 1 filter
Yoneda Hacking: The Algebra of Attacker Actions
Georgios Bakirtzis, Fabrizio Genovese, Cody H. Fleming
Our work focuses on modeling the security of systems from their component-level designs. Towards this goal, we develop a categorical formalism to model attacker actions. Equipping…
Cyberphysical Security Through Resiliency: A Systems-centric Approach
Cody Fleming, Carl Elks, Georgios Bakirtzis +4
Cyber-physical systems (CPS) are often defended in the same manner as information technology (IT) systems -- by using perimeter security. Multiple factors make such defenses insuff…
Fundamental Challenges of Cyber-Physical Systems Security Modeling
Georgios Bakirtzis, Garrett L. Ward, Christopher J. Deloglos +3
Systems modeling practice lacks security analysis tools that can interface with modeling languages to facilitate security by design. Security by design is a necessity in the age of…
A Multilevel Cybersecurity and Safety Monitor for Embedded Cyber-Physical Systems
Smitha Gautham, Georgios Bakirtzis, Matthew T. Leccadito +2
Cyber-physical systems (CPS) are composed of various embedded subsystems and require specialized software, firmware, and hardware to coordinate with the rest of the system. These m…
Mission Aware Cyber-physical Security
Georgios Bakirtzis, Bryan T. Carter, Cody H. Fleming +1
Perimeter cybersecurity, while essential, has proven insufficient against sophisticated, coordinated, and cyber-physical attacks. In contrast, mission-centric cybersecurity emphasi…
A Systems Approach for Eliciting Mission-Centric Security Requirements
Bryan Carter, Georgios Bakirtzis, Carl Elks +1
The security of cyber-physical systems is first and foremost a safety problem, yet it is typically handled as a traditional security problem, which means that solutions are based o…
A Model-Based Approach to Security Analysis for Cyber-Physical Systems
Georgios Bakirtzis, Bryan T. Carter, Carl R. Elks +1
Evaluating the security of cyber-physical systems throughout their life cycle is necessary to assure that they can be deployed and operated in safety-critical applications, such as…