IFIP Working Group 10.4
Dependable Computing and Fault Tolerance

88th Meeting

Ischia, Italy

June 26-29, 2025

 

Meeting Hosts

Domenico Cotroneo, Federico II University of Naples, IT

Luigi Romano, University of Naples Parthenope, IT

 


Program-at-a-Glance and Contents

Workshop
Cybersecurity of Transportation Systems

Workshop 
Coordinators

Andrea Ceccarelli, University of Florence, IT

Marcus Voelp, University of Luxembourg, LU

Wilfried Steiner, TTTech, AT


 

Session 1 - Automotive Cybersecurity

Session 2 - Railway Cybersecurity

Session 3 - Aerospace Cybersecurity

Session 4 - Socio-economical aspects

Reports from Technical Sessions

Research Reports

Business Meeting



Session 1 - Automotive Cybersecurity

The past & future of automotive security - from the perspective of a semiconductor supplier

Timo van Roermund, NXP, NL

Security in SDVs: Lessons learned from integrating MotionWise Safety Middleware in customer ECUs

Hector Bravo Amella, TTTech Auto, AT

Automotive Systems Engineering - Standards and Regulations

Robert Stroud, NCC, UK

What the history of Functional Safety can teach us about the future of cybersecurity in automotive

Dimitri Havel, NCC, UK


Session 2 - Railway Cybersecurity

Current challenges in applying cyber-security in railway signalling systems according to current available cyber-security standards

Francesco Brancati, Resiltech, IT

Digital Railway Operation - CyberSecurity in Critical Infrastructures

Andreas Polze, Hasso-Plattner-Institut für Digital Engineering gGmbH, DE


Session 3 - Aerospace Cybersecurity

Trustworthiness Challenges and needs in modern and future aviation ecosystems

Stefano Sebastio, Collins Aerospace, IE

Current and future challenges in aviation cybersecurity

Cora Perner, Airbus, FR


Session 4 - Socio-economical aspects

The weakest link, and other myths about the human in the loop: a socio-technical understanding of security in critical situations

Gabriele Lenzini, University of Luxembourg, LU

Panel: Future and challenges of cybersecurity of the transportation industry

Behrooz Sangchoolie (RISE Research Institutes of Sweden, SE), Saurabh Bagchi (Purdue University, US),

Cristina Nita-Rotaru (Northeastern University, US), Chris Walter (WW Technology Group, US), Francesco Brancati (ResilTech, IT)


Reports from Technical Sessions

Session 1
Joao Campos, University of Coimbra, PT

Session 2
Feicita Di Giandomenico, ISTI-CNR, IT

Session 3
llir Gashi, City St George's, University of London, UK


Research Reports

Discovering and classifyng residual defectsin the new era of AI-based Code Generators

Domenico Cotroneo, Federico II University of Naples, IT

Undependable dependability claims, and the regulators' plight

Lorenzo Strigini, City St George's, University of London, UK

Security for the cloud-edge continuum: There is no safety without security

Pascal Felber, University of Neuchatel, CH

Real-time containers for mixed-criticality cyberphysical cloud systems

Marcello Cinque, Federico II University of Naples, IT

Quick Look At Redefining Safety

Philip Koopman, Carnegie Mellon University, US

Quantum-Inspired Computing for Cybersecurity

Jin Hong, University of Western Australia, AU

Rightsizing ML: From Sparse 3D Autonomy to Semi-Supervised Insights

Somali Chaterji, Purdue University, US

Error Space Pruning for Model-Implemented Fault and Attack Injection

Behrooz Sangchoolie, RISE Research Institutes of Sweden, SE

Beyond Functional Correctness: An Empirical Evaluation of Large Language Models for Text-to-Code Generation

Joao Campos, University of Coimbra, PT

bBench: A Performance Benchmarkfor BlockhainApplications

Nuno Laranjeiro, University of Coimbra, PT

Open Challenged in Decentralized (edge) AI

Sonia Ben Mokhtar, Liris - CNRS, FR

PAS 11281 - UPDATE

Robert Stroud, NCC, UK

 

Business Meeting

88th IFIP WG 10.4 Meeting - Business Meeting
Marco Vieira, University of North Carolina at Charlotte, US