Program

09:00 Registration

09:30 SwarmAware Workshop  |  DLT4SEC Workshop

10:30 Coffee break

11:00 SwarmAware Workshop  |  DLT4SEC Workshop

12:00 SwarmAware Workshop | RLDM Keynote (joint with DLT4SEC)

13:00 Lunch break

14:00 SwarmAware Workshop  |  RLDM Workshop

16:30 Welcome reception

08:30 Registration

09:00 Opening and BP Announcements

09:20 Keynotes with Paulo Marques and Evgenia Smirni (Securing the Machine Learning Components of Autonomous Vehicles: Risk Assessment and Mitigation)

11:00 Coffee break

11:30 Session 1 – BFT Protocols (Chair: Hans P. Reiser)

• Randomized vs. Deterministic? Practical Randomized Synchronous BFT in Expected Constant Time
• Cheetah: Pipelined BFT Consensus Protocol with High Throughput and Low Latency
• Harmonia: Enhancing Liveness in Two-Phase HotStuff without Sacrificing Core Properties

12:30 Lunch break

14:00 Session 2 – Clouds and Analysis (Chair: Silvia Bonomi)

• CCE: A Cloud-based SIEM Correlation Engine Built on Serverless Functions
• CloudHeal: A Lightweight Online Learning Based Self-Healing Framework for Cloud-Native Systems
• RootScan: Unveiling Microservice Anomalies through Fine-Grained, Interpretable Root Cause Analysis
• Fusing Multimodal Binary Code Representations for Enhanced Similarity Detection

15:30 Coffee break

16:00 Session 3 – ML and Privacy (Chair: Ana Nunes Alonso)

• Privacy-Preserving Blockchain-enabled Vertical Federated Learning with Data Auditing
• EVA-S2PLoR: Decentralized Secure 2-party Logistic Regression with A Subtly Hadamard Product Protocol
• WINK:A Semi-honest Secure Multi-party Computation Framework with Efficient Comparison Protocol

08:30 Registration

09:00 Keynote with Jacopo Tagliabue (How Do We Sleep at Night? Building Reliable Distributed Systems at Startup Speed)

10:00 Session 4 – Failure Detection (Chair: Vladimir Stankovic)

• Multi-source Anomaly Detection For Microservice Systems
• Nip it in the Bud: Unsupervised KPI Incipient Fault Detection via Dynamic Latent Feature Ensembling
• Game-Theoretic Optimization for Coalition-Based Intrusion Detection with Multi-Source Adaptive Dispatching

11:00 Coffee break

11:30 Session 5 – Blockchain Privacy and Fairness (Chair: Alysson Bessani)

• RCS: A High-Success-Rate and Privacy-Preserving Payment Channel Network Routing Protocol
• zkMarket: Ensuring Fairness and Privacy in Decentralized Data Exchange
• Efficient Fair Ordering Protocol with 2-hop Receiver Fairness

12:30 Lunch break

14:00 Session 6 – Distributed Systems (Chair: Francisco Maia)

• On Designing High-Performance Distributed Shared Memory Systems with RDMA
• Performance Evaluation of Brokerless Messaging Libraries
• Hard Shell, Reliable Core: Improving Resilience in Replicated Systems with Selective Hybridization
• Diverse Database Replication Based on Snapshot Isolation – Performance Implications of Improved Dependability

15:30 Coffee break

16:00 Session 7 – Security (Chair: João Paulo)

• Unveiling Evolving Threats: A Data Analysis for Next-Generation Honeypot Development
• Partition-Tolerant Distributed Cryptographic Key Management
• SecretScout: Effective Hard-coded Secrets Detection in CI Configuration Files

19:00 (TBC) Conference Banquet

The SRDS 2025 will provide transportation for all participants from PBS to WOW Porto for the conference banquet. The bus will depart from PBS at 5:30 p.m. After dinner, a shuttle service will be also available, with stops at Boavista, Aliados, and PBS (final stop).

08:30 Registration

09:00 Session 8 – Robust Systems (Chair: Amy Babay)

• Towards Stress Testing the Internet Inter-Domain Routing System `in Silico’ with Domino
• Robust Fingerprinting of Graphs with FinG

09:40 Session 9 – Blockchain (Chair: Christian Berger)

• Goose: Optimistic Search in the IPFS Network
• Securing Consensus from Long-Range Attacks through Collaboration
• B+AVL trees: towards data structures for robust and efficient blockchain state synchronization
• ASLM-Shard: Efficient Account Shuffling Based on Lightweight Migration in Sharded Blockchain

11:00 Coffee break

11:30 Session 10 – Federated Learning (Chair: Erwan Le Merrer)

• FedMI: Reliable and Privacy-Aware Vertical Federated Learning for Anomaly Detection in Distributed Edge Systems
• LEA: Label Enumeration Attack in Vertical Federated Learning
• Backdoor Defense in Federated Learning via Multi-Perspective Resilient Aggregation

12:30 Lunch break

14:00 Session 11 – Confidential Distributed Systems (Chair: Valerio Schiavoni)

• Uncovering Evaluation Bias in Node Attachment Strategies for the Lightning Network
• ENSI: Efficient Non-Interactive Secure Inference for Large Language Models
• MVMonT: Securing Confidential Deployments with Attestable Multi-Variant Monitoring

15:00 Closing