IFIP Working Group 10.4
Dependable Computing and Fault Tolerance

77th Meeting

Reggio Calabria, IT
January 28-31, 2020

Meeting Hosts

Andrea Bondavalli, University of Florence, IT
Francesco Buccafurri, University Mediterranea of Reggio Calabria, IT

Program-at-a-Glance and Contents

Workshop
Coordinators

Saman Aliari Zonouz, Rutgers University, US

Ilir Gashi, City University London, GB

Introduction

Workshop Security-Oriented Situational Awareness for Safety-Critical Infrastructures

January 28-31, 2020 (Tuesday to Friday)

Introduction

Introduction to the Meeting and Workshop

Elmootazbellah Elnozahy, KAUST, SA, Andrea Bondavalli and Francesco Buccafurri — Saman Aliari Zonou and, Ilir Gashi

Day 1 - Session 1
Chair: Lorenzo Strigini, City University, London, GB

Assurance and Certification of Cyber-Physical Systems within the AMASS Platform Barbara Gallina, Mälardalen University, SE
Models of Attacks in Critical Infrastructures Peter Popov, City University, London, GB
Stopping the Barbarians at the Gate: Protecting End User Devices from Security Attacks Karthik Pattabiraman, University of British Columbia, BC, CA
Session Summary Lorenzo Strigini

Day 1 - Session 2
Chair: Karthik Pattabiraman

Situational Picture for Integrated Cyber-physical Critical Infrastructure Protection Gabriele Giunta, Engineering, IT
Feeling Safe and Secure in a Learning-Enabled Cyber-physical World Luis Garcia, UCLA, CA, US
Session Summary Karthik Pattabiraman

Day 2 - Session 3

Panel: Security of Cyber-Physical Systems

Barbara Gallina, Peter Popov, Karthik Pattabiraman, Gabriele Giunta, Luis Garcia

Day 2 - Session 4

Network Perception Robin Berthier, Network Perception, IL, US
Diversity Enhancements for Security Information and Event Management Alysson Bessani, University of Lisbon, PT

Research Reports

Leveraging Networked Data for the Digital Electricity Grid - The Net2DG Project Francesco Brancati, ResilTech, IT
On the Selection of Unsupervised Algorithms for Intrusion Detection - Recent Results at the University of Florence Andrea Ceccarelli, University of Florence, IT
1) Next Perception and 2) A CTL Model Checker Susanna Donatelli, Università di Torino, IT
Time Protection - Principled Protection of Timing Channels Gernot Heiser, Data61 and UNSW, AU
Critique of the White Paper: Safety First for Automated Driving Hermann Kopetz, TU Wien, AT
From Measurements to Models András Pataricza, Budapest University of Technology and Economics, HU

Business Meeting

Chair Presentation
Elmootazbellah Elnozahy, KAUST, SA

Participants

List of Attendees