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