Program/Program Overview

The published program is preliminary, and some changes can happen in the next days!

All times are in EST timezone!


Monday, Sept 30

The ATSReDS workshop will be conducted online.

Join the workshop through the following link (This is exclusively to the workshop ATSReDS. The remaining sessions will happen in-person).

09:00am - 9:10am ATSReDS: Welcome and Opening Remarks
09:10am - 9:40am ATSReDS: Keynote Speech #1: Nitin Auluck
09:40am - 10:10am ATSReDS: Keynote Speech #2: Brij Bhooshan Gupta
10:10am - 10:30am Coffee break
10:30am - 11:50am ATSReDS

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.
11:50am - 12:00pm Closing Remarks
05:00pm - 07:00pm Registration
05:30pm – 07:30pm Welcome Reception: Cone Center (Room 208 or 210)

Tuesday, Oct 1

08:30am - 09:00am Registration
09:00am - 9:30am Opening
09:30am - 10:30am Keynote speaker #1: Cristina Nita-Rotaru

Using Formal Methods to Understand the Security Risks of Distributed Protocols

10:30am - 11:00am Coffee break
11:00am - 12:30pm Research #1: Dependability

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
12:30pm - 2:00pm Lunch
2:00pm - 3:30pm PhD Forum

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
3:30pm - 4:00pm Coffee break + Poster Session
4:00pm - 6:00pm Research #2 - Systems

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

Wednesday, Oct 2

08:30am - 09:00am Registration
09:00am - 10:00am Keynote speaker #2: Mahesh Balakrishnan

An Hourglass Architecture for Distributed Systems

10:00am - 10:30am Coffee break
10:30am - 12:30pm Research #3: Security

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
12:30pm - 2:00pm Lunch
2:00pm - 3:30pm Research #4: Blockchain 1

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
3:30pm - 4:00pm Coffee break
4:00pm - 5:30pm Research #5: Algorithms

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
6:00pm Departure to the Banquet
7:00pm - 9:30pm Banquet

Thursday, Oct 3

08:30am - 09:00am Registration
09:00am - 10:30am Research #6: ML

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
10:30am - 11:00am Coffee break
11:00am - 12:30pm Research #7: Blockchain 2

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
12:30pm - 2:00pm Adjurn and Lunch
2:00pm - 3:30pm Research #8: Online (Videos)