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

Tuesday, April 8^th, 2025

AI4RAILS (Location: Room 6.2.56)

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: Room 6.2.49)

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 Dapps 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
• A Decentralized Marketplace for Tokenized Real Estate
  Duarte Costa, João Santos, Tiago Dias, Miguel Correia

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
• Web 3 Data Matching for Blockchain-Supported Real Estate
  Henrique Lin, João Santos, Tiago Dias, Miguel Correia

SafeAutonomy (Location: Room 6.2.48)

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: Room 6.2.47)

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 9^th, 2025

(Location: Room 6.2.56)

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 10^th, 2025

(Location: Room 6.2.56)

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 11^th, 2025

(Location: Room 6.2.56)

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