CPS-SR Workshop

Session Chair: Henrik Sandberg

Security Metrics of Networked Control Systems under Sensor Attacks. Carlos Murguia, Iman Shames, Justin Ruths and Dragan Nesic (University of Melbourne, Australia)

Examining Cyber-attacks to Cyber-Physical Systems: Current and Future Trends. Mislav Findrik and Paul Smith (AIT Austrian Institute of Technology)

Towards Scenario-Based Design and Verification of Resilient Cyber-Physical Systems. Rajeev Alur, Insup Lee, Rahul Mangharam, Mayur Naik, Oleg Sokolsky, James Weimer and Houssam Abbas (University of Pennsylvania, USA)

Reverse Engineering and Anomaly Detection for Merging the Safety and Security of Cyber-Physical Systems. Sebastian Fischmeister (University of Waterloo, Canada)

Session Chair: Dejan Nickovic

On the Resilience of k-Nearest Neighbor Vehicle Platoons. Mohammad Pirani, Henrik Sandberg and Karl Henrik Johansson (KTH Royal Institute of Technology, Sweden)

A Note on Cascading Failures in Communication Networks and Power Grids. Teresa Gomes, Rita Girão-Silva, Lúcia Martins (University of Coimbra, Portugal), Luísa Jorge (Polytechnic Institute of Bragança, Portugal), Álvaro Gomes (University of Coimbra, Portugal) and Francesco Musumeci (Politecnico di Milano, Italy)

Verification of Policies in Human Cyber-Physical Systems: the Role and Importance of Resilience. Antonios Gouglidis and David Hutchison (Lancaster University, UK)

Session Chair: Chair: Paul Smith

Formal and Data-Driven Approaches to Secure CPS. Andrew Clark (Worcester Polytechnic Institute, USA), Linda Bushnelly and Radha Poovendran (University of Washington, USA)

Detection of Stealthy Sensor Attacks with Multiplicative Watermarking. André M.H. Teixeira (Uppsala University, Sweden) and Riccardo M.G. Ferrari (Delft Technical University, The Netherlands)

Physics-Based Methods for Responding to Attacks and Faults. Akshay Ranade (Polytechnic University of Milan, Italy), Riccardo Orizio, Gregory Provan (University College Cork, Ireland) and Alie El-Din Mady (UTRC, Ireland)