| 2017 | Byzantine Agreement Service for Cooperative Wireless Embedded Systems. | Wenbo Xu, Martin Wegner, Lars C. Wolf, Rdiger Kapitza |
| 2017 | pbSE: Phase-Based Symbolic Execution. | Qixue Xiao, Yu Chen, Chengang Wu, Kang Li, Junjie Mao, Shize Guo, Yuanchun Shi |
| 2017 | Special Session at DSN for the Best Papers from SELSE 2017. | Alan Wood |
| 2017 | Quantitative Evaluation of QoS Prediction in IoT. | Gary White, Andrei Palade, Christian Cabrera, Siobhn Clarke |
| 2017 | TDSC: Two-Stage DDoS Detection and Defense System Based on Clustering. | Shuang Wei, Yijing Ding, Xinhui Han |
| 2017 | What Can We Learn from Four Years of Data Center Hardware Failures? | Guosai Wang, Lifei Zhang, Wei Xu |
| 2017 | Providing Resiliency to Orchestration and Automation Engines in Hybrid Cloud. | Long Wang, Harigovind V. Ramasamy, Alexei Karve, Richard E. Harper |
| 2017 | Reducing the "Tax" of Reliability: A Hardware-Aware Method for Agile Data Persistence in Mobile Devices. | Meng Wang, Huixiang Chen, Tao Li |
| 2017 | Uptime-Optimized Cloud Architecture as a Brokered Service. | Sreekrishnan Venkateswaran, Santonu Sarkar |
| 2017 | Secure Tera-scale Data Crunching with a Small TCB. | Bruno Vavala, Nuno Ferreira Neves, Peter Steenkiste |
| 2017 | ATTAIN: An Attack Injection Framework for Software-Defined Networking. | Benjamin E. Ujcich, Uttam Thakore, William H. Sanders |
| 2017 | Dependability-Aware Design Space Exploration for Optimal Synthesis Parameters Tuning. | Ilya Tuzov, David de Andrs, Juan Carlos Ruiz |
| 2017 | MAS: Mobile-Apps Assessment and Analysis System. | Chia-Wei Tien, Tse-Yung Huang, Ting-Chun Huang, Wei-Ho Chung, Sy-Yen Kuo |
| 2017 | IM-Visor: A Pre-IME Guard to Prevent IME Apps from Stealing Sensitive Keystrokes Using TrustZone. | Chen Tian, Yazhe Wang, Peng Liu, Qihui Zhou, Chengyi Zhang, Zhen Xu |
| 2017 | RSVP: Soft Error Resilient Power Savings at Near-Threshold Voltage Using Register Vulnerability. | Li Tan, Nathan DeBardeleben, Qiang Guan, Sean Blanchard, Michael Lang |
| 2017 | Compromising Security of Economic Dispatch in Power System Operations. | Devendra Shelar, Pengfei Sun, Saurabh Amin, Saman A. Zonouz |
| 2017 | Agora: A Dependable High-Performance Coordination Service for Multi-cores. | Rainer Schiekofer, Johannes Behl, Tobias Distler |
| 2017 | Evaluation and Mitigation of Soft-Errors in Neural Network-Based Object Detection in Three GPU Architectures. | Fernando Fernandes dos Santos, Lucas Draghetti, Lucas Weigel, Luigi Carro, Philippe O. A. Navaux, Paolo Rech |
| 2017 | One Bit is (Not) Enough: An Empirical Study of the Impact of Single and Multiple Bit-Flip Errors. | Behrooz Sangchoolie, Karthik Pattabiraman, Johan Karlsson |
| 2017 | Exploring the Long Tail of (Malicious) Software Downloads. | Babak Rahbarinia, Marco Balduzzi, Roberto Perdisci |
| 2017 | DyDroid: Measuring Dynamic Code Loading and Its Security Implications in Android Applications. | Zhengyang Qu, Shahid Alam, Yan Chen, Xiaoyong Zhou, Wangjun Hong, Ryan D. Riley |
| 2017 | Function Interface Analysis: A Principled Approach for Function Recognition in COTS Binaries. | Rui Qiao, R. Sekar |
| 2017 | Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions. | Carina Pilch, Anne Remke |
| 2017 | Student Research Paper: Evaluation of the Dependability of Critical Infrastructures Using Hybrid Petri Nets with Random Variables and Stochastic Simulation. | Carina Pilch |
| 2017 | Load-Optimal Local Fast Rerouting for Resilient Networks. | Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trdan |