CPS Week 2018 Advance Program ‧ CPS-SR Workshop

This combined program is provided 'as is'. More up-to-date information may be avalialbe at each event's official websites.

CPS Week 2018 Program Overview

CPS-SR Workshop

1st Workshop on Cyber-Physical Systems Security and Resilience
official website

CPS Week 2018 Workshops:

Other CPS Week 2018 Events:

April 10

see all CPS Week events for this day

08:00 - 09:00Registration
Palácio da Bolsa
09:00 - 09:15Workshop Welcome
Henrik Sandberg (KTH, Sweden), Dejan Nickovic, Paul Smith (AIT, Austria)
R12 - Palácio da Bolsa - Level 1 - Galeria dos Antigos Presidentes
09:15 - 10:00Workshop Keynote - Specifying and Testing Security Properties for Cyber-Physical Systems
Jyotirmoy Vinay Deshmukh (University of Southern California, USA)
R12 - Palácio da Bolsa - Level 1 - Galeria dos Antigos Presidentes
10:00 - 10:30Coffee Break
R10 - Palácio da Bolsa - Level 1
10:30 - 12:30Workshop Paper Session I
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)

R12 - Palácio da Bolsa - Level 1 - Galeria dos Antigos Presidentes
12:30 - 14:00Lunch
R01 - Palácio da Bolsa - Level 0 - Pátio das Nações
14:00 - 15:30Workshop Paper Session II
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)

R12 - Palácio da Bolsa - Level 1 - Galeria dos Antigos Presidentes
15:30 - 16:00Coffee Break
R10 - Palácio da Bolsa - Level 1
16:00 - 17:30Workshop Paper Session III
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)

R12 - Palácio da Bolsa - Level 1 - Galeria dos Antigos Presidentes
18:45 - 20:30CPS Week Workshop/Tutorial Cocktail Dînatoire
Palácio da Bolsa