Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: Dynamic Attack Detection in Cyber-Physical Systems With Side Initial State Information
Secure estimation and control for cyber-physical systems under adversarial attacks
Challenges for Securing Cyber Physical Systems
Secure Cyber-Physical Systems: Current trends, tools and open research problems
Intelligent Security Measures for Smart Cyber Physical Systems
Modeling Cyber–Physical Systems
Automatic abstraction for verification of cyber-physical systems
Analyzing neighborhoods of falsifying traces in cyber-physical systems
Secure Control: Towards Survivable Cyber-Physical Systems
A Systems Theoretic Approach to the Security Threats in Cyber Physical Systems Applied to Stuxnet
Modeling cyber-physical systems for automatic verification
Formal Modeling and Verification of Cyber-Physical Systems
Aspect-oriented modeling of attacks in automotive Cyber-Physical Systems
Lecture Notes on Foundations of Cyber-Physical Systems
Orpheus: Enforcing Cyber-Physical Execution Semantics to Defend Against Data-Oriented Attacks
Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems
Security Challenges in Next Generation Cyber Physical Systems
Cyber physical system: Paper survey
Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control
Developing a first course on cyber-physical systems
Review on cyber-physical systems
pityriasis rosea and pityriasis rosea - like eruptions .
The Myths and Facts behind Cyber Security Risks for Industrial Control Systems
Synthesis and Biological Evaluation of a Series of Liver-Selective Phosphonic Acid Thyroid Hormone Receptor Agonists and Their Prodrugs
Drugs in Development for Influenza
Randomized clinical trial comparing infrahepatic inferior vena cava clamping with low central venous pressure in complex liver resections involving the Pringle manoeuvre.