Cyber-Physical Systems Security

The chapters in this book present the work of researchers, scientists, engineers, and teachers engaged with developing unified foundations, principles, and technologies for cyber-physical security. They adopt a multidisciplinary approach to solving related problems in next-generation systems, representing views from academia, government bodies, and industrial partners, and their contributions discuss current work on modeling, analyzing, and understanding cyber-physical systems. Front Matter ....Pages i-xi Robust Digital Computation in the Physical World (Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette, Maher Salloum, Andrew M. Smith)....Pages 1-21 Constraint-Based Framework for Reasoning with Differential Equations (Julien Alexandre dit Sandretto, Alexandre Chapoutot, Olivier Mullier)....Pages 23-41 Approximate Computing and Its Application to Hardware Security (Weiqiang Liu, Chongyan Gu, Gang Qu, Máire O’Neill)....Pages 43-67 Mathematical Optimizations for Deep Learning (Sam Green, Craig M. Vineyard, Çetin Kaya Koç)....Pages 69-92 A Zero-Entry Cyber Range Environment for Future Learning Ecosystems (Elaine M. Raybourn, Michael Kunz, David Fritz, Vince Urias)....Pages 93-109 Parallel Programming in Cyber-Physical Systems (Sandro Bartolini, Biagio Peccerillo)....Pages 111-134 Automatic Application of Software Countermeasures Against Physical Attacks (Nicolas Belleville, Karine Heydemann, Damien Couroussé, Thierno Barry, Bruno Robisson, Abderrahmane Seriai et al.)....Pages 135-155 Time-Delay Attacks in Network Systems (Gianluca Bianchin, Fabio Pasqualetti)....Pages 157-174 Attack Tree Construction and Its Application to the Connected Vehicle (Khaled Karray, Jean-Luc Danger, Sylvain Guilley, M. Abdelaziz Elaabid)....Pages 175-190 Reinforcement Learning and Trustworthy Autonomy (Jieliang Luo, Sam Green, Peter Feghali, George Legrady, Çetin Kaya Koç)....Pages 191-217 Identifier Randomization: An Efficient Protection Against CAN-Bus Attacks (Khaled Karray, Jean-Luc Danger, Sylvain Guilley, M. Abdelaziz Elaabid)....Pages 219-254 Public Key-Based Lightweight Swarm Authentication (Simon Cogliani, Bao Feng, Houda Ferradi, Rémi Géraud, Diana Maimuţ, David Naccache et al.)....Pages 255-267 Physical Security Versus Masking Schemes (Jean-Luc Danger, Sylvain Guilley, Annelie Heuser, Axel Legay, Tang Ming)....Pages 269-284 Embedded Classifiers for Energy-Constrained IoT Network Security (Jennifer Hasler)....Pages 285-301 Challenges in Cyber Security: Ransomware Phenomenon (Vlad-Raul Paşca, Emil Simion)....Pages 303-330 Applying Model-Based Situational Awareness and Augmented Reality to Next-Generation Physical Security Systems (Elaine M. Raybourn, Ray Trechter)....Pages 331-344