An optimal graph-search method for secure state estimation

Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach

(2017) Yasser Shoukry et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Analysis of Global Positioning System-based attacks and a novel Global Positioning System spoofing detection/mitigation algorithm for unmanned aerial vehicle simulation

(2017) Ahmad Y Javaid et al.   SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL

Event-Triggered State Observers for Sparse Sensor Noise/Attacks

(2016) Yasser Shoukry et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

A secure control framework for resource-limited adversaries

(2015) André Teixeira et al.   AUTOMATICA

Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks

(2014) Hamza Fawzi et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Efficient Computations of a Security Index for False Data Attacks in Power Networks

(2014) Julien M. Hendrickx et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Attack Detection and Identification in Cyber-Physical Systems

(2013) Fabio Pasqualetti et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Detecting Integrity Attacks on SCADA Systems

(2013)   IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY

Resilient Detection in the Presence of Integrity Attacks

(2013) Yilin Mo et al.   IEEE TRANSACTIONS ON SIGNAL PROCESSING

Lessons from Stuxnet

(2011) T M Chen et al.   COMPUTER