CPS Week 2018 Advance Program ‧ R12 - Palácio da Bolsa - Level 1 - Galeria dos Antigos Presidentes

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

R12 - Palácio da Bolsa - Level 1 - Galeria dos Antigos Presidentes

Palácio da Bolsa
Former Presidents Gallery - R12 (Level 1)
R. de Ferreira Borges, 4050-253 Porto
This new space is the result of the rehabilitation of former offices with the purpose to honour all the presidents of the Porto Commercial Association, since its foundation in 1834, till nowadays. The primary objective of this room is to honour all the presidents of the Commercial Association, all those Men who worked, and sill work, so hard in order to make this institution one of the most recognized ones in the country.
www.palaciodabolsa.com

April 10

see all CPS Week events for this day

09:00 - 09:15CPS-SRWorkshop Welcome
Henrik Sandberg (KTH, Sweden), Dejan Nickovic, Paul Smith (AIT, Austria)
09:15 - 10:00CPS-SRWorkshop Keynote - Specifying and Testing Security Properties for Cyber-Physical Systems
Jyotirmoy Vinay Deshmukh (University of Southern California, USA)
10:30 - 12:30CPS-SRWorkshop 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)

14:00 - 15:30CPS-SRWorkshop 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)

16:00 - 17:30CPS-SRWorkshop 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)

CPS Week 2018 Program Overview

>