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

 Security-Oriented Situational Awareness for Safety-Critical Infrastructures


  Saman Aliari Zonouz, Rutgers University, US

  Ilir Gashi, City University London, GB



Day 1 - Session 1

Day 1 - Session 2

Day 2 - Session 1

Day 2 - Session 2

Research Reports

Business Meeting


Workshop Security-Oriented Situational Awareness for Safety-Critical Infrastructures

January 28-31, 2020 (Tuesday to Friday)


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



List of Attendees