| 2017 | Safe Landing of Fixed Wing UAVs. | Pranav Jetley, P. B. Sujit, Srikanth Saripalli |
| 2017 | Exploring the Potential for Collaborative Data Compression and Hard-Error Tolerance in PCM Memories. | Amin Jadidi, Mohammad Arjomand, Mohammad Khavari Tavana, David R. Kaeli, Mahmut T. Kandemir, Chita R. Das |
| 2017 | An Integrated Approach for Resilience in Industrial Control Systems. | Johannes Iber, Tobias Rauter, Michael Krisper, Christian Kreiner |
| 2017 | Analyzing Operational Behavior of Stateful Protocol Implementations for Detecting Semantic Bugs. | Md. Endadul Hoque, Omar Chowdhury, Sze Yiu Chau, Cristina Nita-Rotaru, Ninghui Li |
| 2017 | Discovering and Mitigating New Attack Paths Using Graphical Security Models. | Jin Bum Hong, Dong Seong Kim |
| 2017 | Zipr: Efficient Static Binary Rewriting for Security. | William H. Hawkins, Jason D. Hiser, Michele Co, Anh Nguyen-Tuong, Jack W. Davidson |
| 2017 | JGRE: An Analysis of JNI Global Reference Exhaustion Vulnerabilities in Android. | Yacong Gu, Kun Sun, Purui Su, Qi Li, Yemian Lu, Lingyun Ying, Dengguo Feng |
| 2017 | Deep Healing: Ease the BTI and EM Wearout Crisis by Activating Recovery. | Xinfei Guo, Mircea R. Stan |
| 2017 | Secure Live Migration of SGX Enclaves on Untrusted Cloud. | Jinyu Gu, Zhichao Hua, Yubin Xia, Haibo Chen, Binyu Zang, Haibing Guan, Jinming Li |
| 2017 | I Know Nothing about You But Here is What You Might Like. | Rachid Guerraoui, Anne-Marie Kermarrec, Rhicheek Patra, Mahammad Valiyev, Jingjing Wang |
| 2017 | The Many Conflicting Visions of 'Safety Case'. | Patrick J. Graydon |
| 2017 | DRAM Scaling Error Evaluation Model Using Various Retention Time. | Seong-Lyong Gong, Jungrae Kim, Mattan Erez |
| 2017 | Opportunities and Challenges of Third-Party Sustainment of Critical Software in Dependable Systems. | Kate Gill, Rob Ashmore |
| 2017 | Evaluating Security and Availability of Multiple Redundancy Designs when Applying Security Patches. | Mengmeng Ge, Huy Kang Kim, Dong Seong Kim |
| 2017 | ContainerLeaks: Emerging Security Threats of Information Leakages in Container Clouds. | Xing Gao, Zhongshu Gu, Mehmet Kayaalp, Dimitrios Pendarakis, Haining Wang |
| 2017 | Multimodal Indexable Encryption for Mobile Cloud-Based Applications. | Bernardo Ferreira, Joo Leito, Henrique Joo L. Domingos |
| 2017 | Multi-level Anomaly Detection in Industrial Control Systems via Package Signatures and LSTM Networks. | Cheng Feng, Tingting Li, Deeph Chana |
| 2017 | Privacy Disclosure through Smart Meters: Reactive Power Based Attack and Defense. | Jingyao Fan, Qinghua Li, Guohong Cao |
| 2017 | DynaMiner: Leveraging Offline Infection Analytics for On-the-Wire Malware Detection. | Birhanu Eshete, V. N. Venkatakrishnan |
| 2017 | MARITACA: From Textual Use Case Descriptions to Behavior Models. | Leydi Erazo, Eliane Martins, Juliana Galvani Greghi |
| 2017 | FUsing Hybrid Remote Attestation with a Formally Verified Microkernel: Lessons Learned. | Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik |
| 2017 | Regular: Attacker-Induced Traffic Flow Instability in a Stream of Semi-Automated Vehicles. | Daniel D. Dunn, Samuel A. Mitchell, Imran Sajjad, Ryan M. Gerdes, Rajnikant Sharma, Ming Li |
| 2017 | Secure Causal Atomic Broadcast, Revisited. | Sisi Duan, Michael K. Reiter, Haibin Zhang |
| 2017 | Faster Exact Reliability Computation. | Vincent Debieux, Yvonne-Anne Pignolet, Thanikesavan Sivanthi |
| 2017 | SSIV 2017 Welcome. | Joo Carlos Cunha, Kalinka Branco, Antnio Casimiro, Urbano Nunes |