20th European Dependable Computing Conference
8-11 April 2025
Lisbon, Portugal

Technical Programme

Programme at a glance

All times are WEST (UTC+1h)

Tuesday, April 8th, 2025
Workshops AI4RAILS DepWeb3 SafeAutonomy
(& U-SPACE)
CARS
8:30 - 9:00 Registration
9:00 - 9:30 Welcome Welcome Welcome Welcome
9:30 - 10:30 Keynote Keynote Keynote
(9:15 - 10:00)
Keynote
Presentation (1)
(10:00 - 10:30)
10:30 - 11:00 Coffee Break
11:00 - 12:30 Session 1: AI for Railway Safety and Security Session 1: Cross-chain Interoperability Presentation (2, 3, 4) Session 1: Modeling and design process
12:30 - 14:00 Lunch Break
14:00 - 15:30 Session 2: AI for Railway Logistics and Maintenance Session 2: Decentralized Finance Presentation (5, 6) Session 2: Safety critical automotive systems
U-SPACE WS
15:30 - 16:00 Coffee Break
16:00 - 17:30 Session 3: AI for Railway Engineering and Innovation Session 3: Blockchain Applications Working Session
(optional)
Session 3: DevOps, industrial perspective and wrap-up
18:00 Welcome Reception



Wednesday, April 9th, 2025
8:30 - 9:00 Registration
9:00 - 9:30 Opening session
9:30 - 10:30 Keynote Speech 1
Sonia Ben Mokhtar
Towards dependable and secure decentralized machine learning
10:30 - 11:00 Coffee Break
11:00 - 12:30 Distinguished Papers
12:30 - 13:50 Lunch Break
13:50 - 15:30 Student Forum
15:30 - 16:00 Coffee Break
16:00 - 17:30 Safety: Metrics, Tools and Insights
18:00 Guided City Walk with Wine Tasting



Thursday, April 10th, 2025
8:30 - 9:00 Registration
9:00 - 10:00 Keynote Speech 2
Carles Hernández Luz and Nicholas Mc Guire
Navigating the Path to Residual Risk Compliance in AI-Driven Safety Functions
10:00 - 10:30 Coffee Break
10:30 - 12:30 Technical Session 2: Privacy and Security
12:30 - 13:40 Lunch Break
13:40 - 15:40 (Extended) Fast Abstracts
15:40 - 16:00 Coffee Break
16:00 - 17:15 Technical Session 3: Fault injection and Fault tolerance
17:30 Hippotrip City Tour & Conference Dinner



Friday, April 11th, 2025
9:00 - 9:30 Registration
9:30 - 10:30 Keynote Speech 3
Nuno Silva
Dependability and Safety in the Railway and Space domains: Challenges, Commonalities and Differences
10:30 - 11:00 Coffee Break
11:00 - 12:30 Technical Session 4: Articial Intelligence and Dependability
12:30 - 14:00 Lunch Break
14:00 - 15:30 Technical Session 5: Safety Analysis
15:30 - 15:45 Closing Session



Detailed Program


Tuesday, April 8th, 2025

AI4RAILS (Location: TBD)

8:30 -- 9:00 Workshop Registration

9:00 -- 9:30 welcome

9:30 -- 10:30 Keynote:
Strengthening European railways research – A strategic imperative
Dr. Armando Carrillo Zanuy, Secretary General, EURNEX e.V. - European Rail Research Network of Excellence

10:30 -- 11:00 Coffee Break

11:00 -- 12:30 Technical Session 1: AI for Railway Safety and Security

  • Novel use of EO satellite data and AI in ralways: A concept for rail buckling risk estimation in the SPATRA Project
    Danijela Ristic-Durrant, Alina Klapper, Dietrich Kuhn, Milan Banić, Miloš Madić, Miloš Simonović, Milan Trifunović, Aleksandar Trajković
  • A Traffic Evacuation Model for Enhancing Resilience During Railway Disruption
    Hangli Ge, Xiaojie Yang, Jinyu Chen, Francesco Flammini, Noboru Koshizuka
  • ESSecA Expert System for Automated Penetration testing: the Train Control and Monitoring System Case Study
    Alessandra De Benedictis, Massimiliano Rak, Emanuele Agostino Messuri, Felice Moretta, Augusto Ausanio

12:30 -- 14:00 Lunch Break

14:00 -- 15:00 Technical Session 2: AI for Railway Logistics and Maintenance

  • A Single AI Platform for the Unification of Railway Transport Logistics Processes
    Oleksandr Rohovyi, Valerii Samsonkіn, Oksana Yurchenko, Gintautas Bureika
  • The impact of artificial intelligence on passenger flow in air and rail integrated networks: A systematic literature review
    Nandhini Mahesh, Reem Hadeed, Marin Marinov
  • Synchronisation of on-board track geometry monitoring signals to enable Machine Learning predictions
    Sepehr Abdi Goudarzi, Riccardo Licciardello, Nadia Kaviani, Shahab Aldin Mansouri, Mani Entezami

15:30 -- 16:00 Coffee Break

16:00 -- 17:30 Technical Session 3: AI for Railway Engineering and Innovation

  • An integrated AI and Model-Based approach for Railway Cyber-Physical Systems
    Arianna Nocente, Gabriele Pannocchia, Giulio Rossetti
  • Harnessing Explainable AI in Railway: A Decision Tree-based Approach
    Mario Barbareschi, Antonio Emmanuele, Nicola Mazzocca, Franca Rocco Di Torrepadula
  • Leveraging AI to Transform Rail Higher Education: Opportunities, Challenges, and the Path Forward
    Prachiti Shinde, Marin Marinov, Reem Hadeed

DepWeb3 (Location: TBD)

8:30 -- 9:00 Workshop Registration

9:00 -- 9:30 welcome

9:30 -- 10:30 Keynote:
The Role of IPFS and P2P in Decentralized Infrastructures and Applications
João Carlos Antunes Leitão, NOVA-LINCS & NOVA School of Science and Technology

10:30 -- 11:00 Coffee Break

11:00 -- 12:30 Technical Session 1: Cross-chain Interoperability

  • Evaluating the Impact of Cross-Chain Deployment on Dapp’s Market Performance in Web3 Ecosystems
    Joana R. Pereira
  • Handling Assets in the Secure Asset Transfer Protocol: One Schema to Handle Them All
    Rodolfo Carapau, André Augusto, André Vasconcelos, Miguel Correia
  • Visualization of Cross-Chain Transactions for Secure Blockchain Interoperability
    Jorge Santos, André Augusto, André Vasconcelos, Miguel Correia

12:30 -- 14:00 Lunch Break

14:00 -- 15:00 Technical Session 2: Decentralized Finance

  • Reliability is Blind: Collective Incentives for Decentralized Computing Marketplaces without Individual Behavior Information
    Henry Mont, Matthieu Bettinger, Sonia Ben Mokhtar, Anthony Simonet-Boulogne
  • What Must the Price in Decentralized Exchanges Be?
    Hyoung Joong Kim, Gyu M. Lee, Jongwon Lee, Sora Kang, Seong Wook Chae, Jun-Seok Park
  • Integrating Binance Pay for High-Value Cryptocurrency Payments
    Gonçalo Cruz, João Gonçalves, João Pedro Gonçalves, Jorge Rebelo, António Rodrigues

15:30 -- 16:00 Coffee Break

16:00 -- 17:30 Technical Session 3: Blockchain Applications

  • Dependable Food Traceability Data through Blockchain and Database Integration
    Lourenço Preto, Samih Eisa, Orlando Remédios, David R. Matos, Miguel L. Pardal
  • ChainGuard: Verified Data Intake for a Track & Trace Blockchain
    André Avelar, Samih Eisa, Orlando Remédios, Miguel L. Pardal
  • A Decentralized Architecture for Enhanced Security and Privacy in Electronic Health Records Management
    Rodrigo Tertulino, Fernando Vidal, Naghmeh Ivaki
  • A Decentralized Marketplace for Tokenized Real Estate
    Duarte Costa, João Santos, Tiago Dias, Miguel Correia
  • Web 3 Data Matching for Blockchain-Supported Real Estate
    Henrique Lin, João Santos, Tiago Dias, Miguel Correia

SafeAutonomy (Location: TBD)

8:30 -- 9:00 Workshop Registration

9:00 -- 9:15 welcome

9:15 -- 10:00 Keynote:
On the Meaning of AI Safety
Ibrahim Habli, University of York

10:00 -- 10:30 Presentation (1):

  • Unified AI-Product Lifecycle Based on Road-Vehicle Safety Standards
    Shanza Ali Zafar, Jessica Kelly, Núria Mata

10:30 -- 11:00 Coffee Break

11:00 -- 12:30 Presentation (2,3,4)

  • A Five-Dimensional Digital Twin Architecture for Real-Time and Non Real-Time Safety Assurance of Autonomous Systems
    Laure Buysse, Dries Vanoost, Jeroen Boydens, Davy Pissoort
  • A Dependable Trajectory Prediction Pipeline for Autonomous Driving: Integrating Computer Vision and Bayesian Networks for Highway Safety
    Sanjana Range Gowda, Patrick Wolf
  • Enhancing Safety and Performance of Autonomous Systems in Open Contexts Through the Layers of Protection Architecture (LOPAAS)
    Patrick Wolf, Rasmus Adler

12:30 -- 14:00 Lunch Break

14:00 -- 15:00 Presentation (5,6)

  • A modular architecture template for resource modeling in Software-Defined Vehicles
    Patrick Uven, Ralf Stemmer, Gregor Nitsche
  • U-SPACE Workshop: Bringing independent cybersecurity assessments to space systems
    Nuno Silva, Gustavo Dinis, Mauro Gameiro, João Gaspar

15:00 -- 15:30 Wrap up

15:30 -- 16:00 Coffee Break

16:00 -- 17:30 Working Session (optional): Safe Autonomy - A new discipline?

CARS (Location: TBD)

8:30 -- 9:00 Workshop Registration

9:00 -- 9:30 welcome

9:30 -- 10:30 Keynote:
Safe and Secure AI/ML-driven Autonomous Vehicles? Not anywhere near yet …
Paulo Esteves-Veríssimo, Professor of Computer Science and Director of the Resilient Computing and Cybersecurity Center (RC3)
KAUST, University of Science and Technology King Abdullah, in Thuwal. KSA

10:30 -- 11:00 Coffee Break

11:00 -- 12:30 Session 1: Modeling and design process

  • Exploring the Impact of Large Language Models on Safety-Critical Processes
    Shanza Ali Zafar, Francesco Carella and Núria Mata
  • Automotive applications augmented with Large Language Models: a research vision
    Beatriz Cabrero-Daniel, Malsha Ashani Mahawatta Dona, Ali Nouri, Tayssir Bouraffa and Krishna Ronanki
  • Approach for experimental evaluation of automotive virtualization
    Gonçalo Folhas and Frederico Cerveira

12:30 -- 14:00 Lunch Break

14:00 -- 15:30 Session 2: Safety critical automotive systems

  • Safety-Counter-Player: Utilizing potentially unsafe capabilities in safety-critical system
    Mario Trapp, Benjamin Herd and Benedikt Rank
  • On the Design of a Dynamic Consensus Framework for Agreement Seeking in Maneuver Coordination
    João Almeida, Bruno Ribeiro, Emanuel Vieira and Joaquim Ferreira
  • Neural Space-Filling Curves for Traffic Event Retrieval in Automotive Perception Systems: A Research Vision
    Tayssir Bouraffa

15:30 -- 16:00 Coffee Break

16:00 -- 17:30 Session 3: DevOps, industrial perspective and wrap-up

  • Business Drivers for Trustworthy DevOps
    Rolf Johansson, Anders Cassel, Fredrik Beckman, Murat Erdogan, Martin Törngren, Martin Lehto and Tom Strandberg
  • Open discussion & wrap-up: any question on any paper of the day

Wednesday, April 9th, 2025

8:30 -- 9:00 Registration

9:00 -- 9:30 Opening Session

9:30 -- 10:30 Keynote Speech 1 (Chair: tbd)

  • Towards dependable and secure decentralized machine learning
    Sonia Ben Mokhtar, CNRS, INSA Lyon, France

10:30 -- 11:00 Coffee Break

11:00 -- 12:30 Distinguished Papers (Chair: tbd)

  • TruShare: Confidential Key-Value Store for Untrusted Environments
    Aghiles Ait Messaoud, Sonia Ben Mokhtar, Anthony Simonet-Boulogne
  • Towards a Simple and Practical Blockchain Consensus Protocol
    Tiago Antão, Hasan Heydari, Alysson Bessani
  • Local-First Smart Home Applications with HubOS
    Igor Zavalyshyn, Axel Legay, Annanda Rath, Etienne Rivière

12:30 -- 13:50 Lunch Break

13:50 -- 15:30 Student Forum (Chair: João Campos)

  • Let It Glow: Illuminating Middleboxes with NoPASARAN
    Ilies Benhabbour, Marc Dacier
  • Machine Learning-based Distributed Intrusion Detection System in Industrial Edge Environments: Challenge Identification
    Zihao Deng, Geert Deconinck
  • Methodology for Vulnerabilities Detection in IoT Gateways Source Code
    Diego R. Gomes
  • Security Evaluation of Smart Home Devices Based on the OWASP Top 10 IoT Vulnerabilities
    Eduardo F. Felix
  • Towards Real-Time Malware Classification Through Honeypot Analysis
    Miguel Faísco, Ibéria Medeiros, Hans P. Reiser
  • Benchmarking LLM Robustness Against Prompt-Based Adversarial Attacks
    Joao Donato
  • Benchmarking Large Language Models for Code Generation
    Rodrigo Pato Nogueira
  • Processing Web Applications using NLP for Vulnerability Identification
    Jorge Guerreiro, Ibéria Medeiros
  • Software Trustworthiness Assessment via Large Language Models (LLMs)
    Saeed Javani Jananloo
  • Empowering Individual Climate Action Through Carbon Tokenization
    Umair S. Siddiqui, Joana R. Pereira, Miguel C. Neto, Francisco Gallego, Ian James Scott

15:30 -- 16:00 Coffee Break

16:00 -- 17:30 Technical Session 1: Safety: Metrics, Tools and Insights (Chair: tbd)

  • Insights from Railway Professionals: Rethinking Railway assumptions regarding safety and autonomy
    Josh Hunter, John McDermid, Simon Burton
  • A Domain Specific Language to define ODD: textual and graphical notations
    Asma Smaoui, Adedjouma Morayo, Gabin Nizan, Yechao Sun, Check Koutame, Nadira Boudjani
  • On Metrics for U-Space Safety Risk Assessment
    Omid Asghari, Anamta Khan, Naghmeh Ivaki, Henrique Madeira

18:00 Social Programme: Guided City Walk with Wine Tasting
A extra social programme accessed according an addional fee

Thursday, April 10th, 2025

8:30 -- 9:00 Registration

9:00 -- 10:00 Keynote Speech 2 (Chair: tbd)

  • Navigating the Path to Residual Risk Compliance in AI-Driven Safety Functions
    Carles Hernández Luz, UPV, Valencia, Spain
    Nicholas Mc Guire, OpenTech, Austria

10:00 -- 10:30 Coffee Break

10:30 -- 12:30 Technical Session 2: Privacy and Security (Chair: tbd)

  • Denial-of-Service Attacks on Wi-Fi Protected Management Frames Preventing Reconnection
    Kohei Senga, Shoei Nashimoto
  • Leveraging remote attestation APIs for secure image sharing in messaging apps
    Joel Samper, Bernardo Ferreira
  • Device Identity Bootstrapping in Constrained Environments: A BLE-based BRSKI Extension
    Julian Krieger, Tobias Hilbig, Thomas Schreck
  • Testing Open-Source Libraries for Private Counts and Averages on Energy Metering Time Series
    Alexandre Braga, Ana Paixão, Gisele Camargo
  • Toward a (semi-)Automatic Framework for Smart Contract Security Audit
    Silvia Bonomi, Emilio Coppa, Simone Lenti, Claudia Ruggiero

12:30 -- 13:40 Lunch Break

13:40 -- 15:40 (Extended) Fast Abstracts (Chair: Geert Deconinck)

  • AI-Generated Distributed Algorithms: Paving the Way for More Dependable Distributed Systems
    Diogo Vaz, David R. Matos, Miguel L. Pardal
  • Large Language Models for Explainable Threat Intelligence
    Tiago Dinis, Roger Tavares, Miguel Correia
  • Towards a Reliable Orchestration of Containerised Critical Services
    Ana Luis, Alysson Bessani, Vinicius V. Cogo
  • Blockchain Infrastructure and Web Application for Dematerialization of Promissory Notes
    Henrique Silva, Filipe Quina, Sérgio Guerreiro, Miguel Matos
  • Improving the Efficiency of Multi-Cloud Storage
    Guilherme Santos, Alysson Bessani
  • BLADE - Byzantine-tolerant Learning under an Asynchronous and Decentralized Environment
    Gonçalo Ferreira, Ana Nunes Alonso, José Pereira
  • Improving Availability in Event Sourcing Systems
    Tiago Rolo, Nuno Preguiça, Filipe Araujo
  • Towards SW-based Robustness Assessment of HW Accelerators for Quantized CNNs
    Juan Carlos Ruiz, David de Andrés, Juan-Carlos Baraza-Calvo, Luis-José Saiz-Adalid, Joaquín Gracia-Morán, Daniel Gil-Tomás, Pedro Gil-Vicente
  • Initial insights into synthesis overheads caused by C-based Error Correction Codes implementations
    Joaquín Gracia-Morán, David de Andrés, Luis-J. Saiz-Adalid, Juan Carlos Ruiz, J.-Carlos Baraza-Calvo, Daniel Gil-Tomás, Pedro J. Gil-Vicente
  • Compact Two-dimensional RAID Level 6 Arrays Tolerating Quadruple Node Failures
    Jehan-François Pâris, Thomas Schwarz
  • Towards a Novel 8-bit Floating-point Format to Increase Robustness in Convolutional Neural Networks
    Luis-J. Saiz-Adalid, Juan Carlos Ruiz, Joaquín Gracia-Morán, David de Andrés, J.-Carlos Baraza-Calvo, Daniel Gil-Tomás, Pedro J. Gil-Vicente
  • Exploring Complementarity between Functional Safety and Cybersecurity in the Chemical Process Industry
    Geert Deconinck, Jan Luyts, Geert Boogaerts

15:40 -- 16:00 Coffee Break

16:00 -- 17:15 Technical Session 3: Fault injection and Fault tolerance (Chair: tbd)

  • BUBBLE: an FPGA-Based Timing Fault Injector
    Marcello Cinque, Luigi De Simone, Giorgio Farina, Daniele Ottaviano, Francesco Pizzo
  • Fault Tolerance of Sorting Algorithms under Varying Input Characteristics
    Steven Schwarz, Robin Thunig, Horst Schirmeier
  • Towards Efficient Client-Side Transactions for Heterogeneous Cloud Data Stores
    Pedro Sousa, Nuno Faria, Jose Pereira, Ana Nunes Alonso

17:30 Social Programme: Hippotrip City Tour & Conference Dinner

Friday, April 11th, 2025

9:00 -- 9:30Registration

9:30 -- 10:30 Keynote Speech 3 (Chair: tbd)

  • Dependability and Safety in the Railway and Space domains: Challenges, Commonalities and Differences
    Nuno Silva, Critical Software, Coimbra, Portugal

10:30 -- 11:00 Coffee Break

11:00 -- 12:30 Technical Session 4: Articial Intelligence and Dependability (Chair: tbd)

  • A critique on the (mis)use of feature-space attacks for adversarial machine learning in NIDS
    Marta Catillo, Antonio Pecchia, Antonio Repola, Umberto Villano
  • Towards an Understanding of Deep Neural Network Resiliency to Hardware Faults
    Patrik Omland, Michael Paulitsch, Gereon Hinz, Alois Knoll
  • Explaining Black-Box Malware Detectors: A Machine Learning Framework for Behaviour Analysis
    Attila Brozik, Ilir Gashi, Kizito Salako

12:30 -- 14:00 Lunch Break

14:00 -- 15:30 Technical Session 5: Safety Analysis (Chair: tbd)

  • SOTIF Analysis using Fuzzy Cause Trees
    Benjamin Herd, Andreas Kreutz, Mario Trapp
  • Integrating Defeaters into Subjective Logic-based Quantitative Assurance Arguments
    Benjamin Herd, Jessica Kelly, Joao-Vitor Zacchi, Clarissa Heinemann, Simon Diemert

15:30 -- 15:45 Closing Session