Program/Program Overview

Chair: Sachin Sharma

• 10:30 – 10:50, Paper Presentation 1: "Enhancing Security and Reliability in Distributed Systems: A Hybrid Approach Integrating Snort Rules and Machine Learning for Anomaly Detection" by Vishal Murgai et al.
• 10:50 – 11:10, Paper Presentation 2: "Enhanced Malware Detection in Distributed IoT Environment using Optimized Cascaded LSTM-GRU Framework" by Akshat Gaurav et al.
• 11:10 – 11:30, Paper Presentation 3: "Enhancing Distributed Security and Reliability in Semiconductor Supply Chains with Blockchain and Chemistry Integration" by Sharv Murgai
• 11:30 – 11:50, Paper Presentation 4: "Heart Failure Prediction: Machine Learning Application in Critical Care" by Himanshu Sharma et al.

Using Formal Methods to Understand the Security Risks of Distributed Protocols

Chair: Paulo Verissimo

• "Harmonizing Repair and Maintenance in LRC-Coded Storage", K. Cheng, S. Wu, X. Li, P. Lee
• "MSF-Model: Queuing-Based Analysis and Prediction of Metastable Failures in Replicated Storage Systems", F. Habibi, T. Lorido-Botran, A. Showail, D. Sturman, F. Nawab
• "Availability Analysis of Network-Attack-Resilient Byzantine Fault Tolerant Systems", A. Alyahya, A. Babay, D. Tipper

Chair: Valerio Schiavoni

• "Towards Metastable-Failure-Free Distributed Transaction Systems", Farzad Habibi
• "Efficient Privacy-Preserving Processing via Memory-Centric Computing", Mpoki Mwaisela
• "Challenges of Availability and Cost Assessment for Network-Attack-Resilient Byzantine Systems", Aren Nasser A Alyahya
• "Evaluating and Designing Routing Protocols for Reliable Distributed Quantum Systems", Huzaifah Nadeem

Chair: Cristina Nita-Rotaru

• "HAPPA: A Modular Platform for HPC Application Resilience Analysis with LLMs Embedded", H. Jiang, J. Zhu, B. Fang, K. Barker, C. Chen, R. Jin, Q. Guan
• "Resilient and Secure Programmable System-on-Chip Accelerator Offload", I. Gouveia, A. Sheikh, A. Shoker, S. Fahmy, P. Veríssimo
• "Tolerating Compound Threats in Critical Infrastructure Control Systems", S. Bommareddy, M. Khan, H. Nadeem, B. Gilby, I. Chiu, J. van de Lindt, O. Nofal, M. Panteli, L. Wells II, Y. Amir, A. Babay
• "CLUES: Collusive Theft of Conditional Generative Adversarial Networks", S. Queyrut, V. Schiavoni, L. Chen, P. Felber, R. Birke

An Hourglass Architecture for Distributed Systems

Chair: Amy Babay

• "Evaluating the Potential of In-Memory Processing to Accelerate Homomorphic Encryption", M. Mwaisela, J. Hari, P. Yuhala, J. Ménétrey, P. Felber, V. Schiavoni
• "Efficient Identity-Based Encryption with Minimal Server Trust", Y. Liang, G. Di Crescenzo, H. Wang, Z. Patni
• "PR-TDR: Privacy-preserving and Reliable Timed Data Release", J. Wang, B. Palanisamy
• "To Share or Hide: Confidential Model Compilation as a Service With Privacy-Preserving Transparency", K. Qin, D. Gu

Chair: Antonella Del Pozzo

• "Presto: Optimizing Cross-Shard Transactions in Sharded Blockchain Architecture", Q. Ding, R. Zhang, S. Yin, P. Li, S. Guan, Z. Xiao, J. Long
• "DecentEdge: A Trusted Edge-Cloud Transaction Processing Protocol for NFT-Based Dapps", H. Chaparala, S. Doddala, A. Showail, F. Nawab
• "Batch-Schedule-Execute: On Optimizing Concurrent Deterministic Scheduling for Blockchains", Y. Hay, R. Friedman

Chair: Murat Demirbas

• "Simpler is Better: Revisiting Mencius State Machine Replication", B. Cui, A. Charapko
• "ARES II: Tracing the Flaws of a (Storage) God", C. Georgiou, N. Nicolaou, A. Trigeorgi
• "Pre-LogMGAE: Identification of Log Anomalies Using a Pre-trained Masked Graph Autoencode", A. Wu, Y. Kwon

Chair: Marco Vieira

• "TabVFL: Improving Latent Representation in Vertical Federated Learning", M. Rashad, Z. Zhao, J. Decouchant, L. Chen
• "RADAR: Model Quality Assessment for Reputation-aware Collaborative Federated Learning", L. Lavaur, P. Lechevalier, Y. Busnel, R. Ludinard, G. Texier, M. Pahl
• "FedCritical: Mitigating Edge-case Backdoor Attacks in Federated Learning", Z. Gu, J. Shi, Y. Yang

Chair: Silvia Bonomi

• "Enabling Complete Atomicity for Cross-chain Applications Through Layered State Commitments", Y. Cai, R. Cheng, Y. Zhou, S. Zhang, J. Xiao, H. Jin
• "Fantastyc: Blockchain-based Federated Learning Made Secure and Practical", W. Boitier, A. Pozzo, Á. García-Pérez, S. Gazut, P. Jobic, A. Lemaire, E. Mahe, A. Mayoue, M. Perion, T. Rezende, D. Singh, S. Tucci-Piergiovanni
• "PeerSwap: A Peer-Sampler with Randomness Guarantees", R. Guerraoui, A. Kermarrec, A. Kucherenko, R. Pinot, M. de Vos

• "Efficient Exploration on Worst-Case Delay Performance of Networked Industrial Control Systems via Network Calculus and Deep Learning", Z. Liang, J. Zeng, S. Peng, X. Ma, H. Yang
• "DTC: Real-Time and Accurate Distributed Triangle Counting in Fully Dynamic Graph Streams", W. Xuan, Y. Liang, H. Cao, N. Lin, X. Ye, D. Fan
• "On Quantifying the Gradient Inversion Risk of Data Reuse in Federated Learning Systems", J. Huang, L. Chen, S. Roos