Resilience of Cyber-Physical Systems

Foreword.- Complex, Resilient and Smart Systems.- Challenges and Opportunities for Model-Based Security Risk Assessment of Cyber-Physical Systems.- A Comprehensive Framework for the Security Risk Management of Cyber-Physical Systems.- Supporting Cybersecurity Compliance Assessment of Industrial Automation and Control System Components.- Quantitative Evaluation of the Efficacy of Defence-in-Depth in Critical Infrastructures.- A Model-Driven and Generative Approach to Holistic Security with C-IME.- Multi-Range Decoy I/O Defense of Electrical Substations against Industrial Control System Malware.- Flood Resilience of a Water Distribution System.- A Non-Parametric Cumulative Sum Approach for Online Diagnostics of Cyber Attacks to Nuclear Power Plants.

Francesco Flammini got his laurea and doctoral degrees in Computer Engineering from the University of Naples Federico II. Since 2003, he has worked on research and innovation in the fields of systems dependability and critical infrastructure security, both in private (Ansaldo STS - a Hitachi Group Company, formerly a Finmeccanica Group Company) and public (Italian State Mint and Polygraphic Institute) sectors. He has managed large international engineering projects, involving design, installation, verification and maintenance. He has also managed several EU funded research projects addressing cyber-physical systems security, and he has served as an Expert Evaluator for the European Commission.

He has been an ACM Distinguished Speaker and Adjunct Professor of Computer Science (University of Naples) and Software Engineering (Second University of Naples), and he is regularly teaching seminars in post-degree courses on Homeland Security (University of Rome Campus Biomedico - Italy, University of Girona - Spain). He is presently an Adjunct Professor of Cybersecurity at the University of Maryland University College (UMUC) Europe.

He has authored more than 80 scientific publications and he has served as an editor-in-chief, guest editor, chairman, invited speaker, member of the International Program Committee, and a reviewer for several international books, journals, workshop and conferences on computer safety, reliability and security.

For his research and innovation activity, he has won several awards, including best paper awards, business plan and innovation awards.

He is an IEEE Senior Member and the Chairman of the Technical Committee on Homeland Security of the IEEE Systems, Man and Cybernetics (SMC) Society. He has served as the Vice-Chair of the IEEE Computer Society Italy Chapter. He is also a member of Formal Methods Europe (FME), of the European Workshop on Industrial Computer Systems Reliability, Safety and Security (EWICS