| 2024 | Evaluating Performance and Dependability of Blockchain Protocols with Diablo. | Andrei Lebedev, Vincent Gramoli |
| 2024 | A Comprehensive Study on Drones Resilience in the Presence of Inertial Measurement Unit Faults. | Anamta Khan, Naghmeh Ivaki, Henrique Madeira |
| 2024 | PAROLE: Profitable Arbitrage in Optimistic Rollup with ERC-721 Token Transactions. | Alvi Ataur Khalil, Mohammad Ashiqur Rahman |
| 2024 | Tutorial: Safe, Secure, and Trustworthy Artificial Intelligence (AI) via Formal Verification of Neural Networks and Autonomous Cyber-Physical Systems (CPS) with NNV. | Taylor T. Johnson, Diego Manzanas Lopez, Hoang-Dung Tran |
| 2024 | Fault Localization Using Interventional Causal Learning for Cloud-Native Applications. | Saurabh Jha, Jesus Rios, Naoki Abe, Frank Bagehorn, Laura Shwartz |
| 2024 | System Call Interposition Without Compromise. | Adriaan Jacobs, Merve Glmez, Alicia Andries, Stijn Volckaert, Alexios Voulimeneas |
| 2024 | Intrusion Detection Systems Using Quantum-Inspired Density Matrix Encodings. | Larry Huynh, Jin B. Hong, Ajmal Mian, Hajime Suzuki, Seyit Camtepe |
| 2024 | Active Learning Omnivariate Decision Trees for Fault Diagnosis in Robotic Systems. | Casidhe Hutchison, Milda Zizyte, David Guttendorf, Claire Le Goues, Philip Koopman |
| 2024 | Optimizing Large-Scale Fault Injection Experiments through Martingale Hypothesis: A Systematic Approach for Reliability Assessment of Safety-Critical Systems. | Saurabh Hukerikar, Atieh Lotfi, Yanxiang Huang, Jason Campbell, Nirmal R. Saxena |
| 2024 | Synergizing GCN and GAT for Hardware Trojan Detection and Localization. | Yu-Chen Hsiao, Chia-Heng Yen, Bo-Yang Ke, Kai-Chiang Wu |
| 2024 | Message from the DSML Workshop Chairs; DSN-W 2024. | Sanghyun Hong, Bo Fang |
| 2024 | A Fast Low-Level Error Detection Technique. | Zhengyang He, Hui Xu, Guanpeng Li |
| 2024 | Caching and Prefetching for Improving ORAM Performance. | Naohiro Hayashibara, Kazuaki Kawabata |
| 2024 | Intrusion Tolerance for Networked Systems through Two-Level Feedback Control. | Kim Hammar, Rolf Stadler |
| 2024 | Performance Comparison of Bayesian Estimations on the Residual Number of Software Bugs. | Yuki Hagihara, Tadashi Dohi, Hiroyuki Okamura |
| 2024 | SyRep: Efficient Synthesis and Repair of Fast Re-Route Forwarding Tables for Resilient Networks. | Csaba Gyrgyi, Kim G. Larsen, Stefan Schmid, Jir Srba |
| 2024 | Grunt Attack: Exploiting Execution Dependencies in Microservices. | Xuhang Gu, Qingyang Wang, Jianshu Liu, Jinpeng Wei |
| 2024 | AOAB: Optimal and Fair Ordering of Financial Transactions. | Vincent Gramoli, Zhenliang Lu, Qiang Tang, Pouriya Zarbafian |
| 2024 | Verifying Randomized Consensus Protocols with Common Coins. | Song Gao, Bohua Zhan, Zhilin Wu, Lijun Zhang |
| 2024 | Empowering Data Centers with Computational Storage Drive-Based Deep Learning Inference Functionality to Combat Ransomware. | Kurt Friday, Elias Bou-Harb, Ron Lee, Pramod Peethambaran, Mayank Saxena |
| 2024 | Unlearning Backdoor Attacks Through Gradient-Based Model Pruning. | Kealan Dunnett, Reza Arablouei, Dimity Miller, Volkan Dedeoglu, Raja Jurdak |
| 2024 | Hybrid Convolutional Neural Networks with Reliability Guarantee. | Hans Dermot Doran, Suzana Veljanovska |
| 2024 | Moonshot: Optimizing Block Period and Commit Latency in Chain-Based Rotating Leader BFT. | Isaac Doidge, Raghavendra Ramesh, Nibesh Shrestha, Joshua Tobkin |
| 2024 | JITBULL: Securing JavaScript Runtime with a Go/No-Go Policy for JIT Engine. | Jean-Baptiste Decourcelle, Boris Teabe, Daniel Hagimont |
| 2024 | iPrism: Characterize and Mitigate Risk by Quantifying Change in Escape Routes. | Shengkun Cui, Saurabh Jha, Ziheng Chen, Zbigniew T. Kalbarczvk, Ravishankar K. Iyer |