| 2013 | SPECTRE: A dependable introspection framework via System Management Mode. | Fengwei Zhang, Kevin Leach, Kun Sun, Angelos Stavrou |
| 2013 | IOCheck: A framework to enhance the security of I/O devices at runtime. | Fengwei Zhang |
| 2013 | Automating the debugging of datacenter applications with ADDA. | Cristian Zamfir, Gautam Altekar, Ion Stoica |
| 2013 | Investigating DNS traffic anomalies for malicious activities. | Fyodor Yarochkin, Vladimir Kropotov, Yennun Huang, Guo-Kai Ni, Sy-Yen Kuo, Ing-Yi Chen |
| 2013 | Community-based resilient electricity sharing: Optimal spatial clustering. | Yoshiki Yamagata, Hajime Seya |
| 2013 | Modeling and analysing operation processes for dependability. | Xiwei Xu, Liming Zhu, Jim Zhanwen Li, Len Bass, Qinghua Lu, Min Fu |
| 2013 | Security implications of memory deduplication in a virtualized environment. | Jidong Xiao, Zhang Xu, Hai Huang, Haining Wang |
| 2013 | EagleEye: Towards mandatory security monitoring in virtualized datacenter environment. | Yu-Sung Wu, Pei-Keng Sun, Chun-Chi Huang, Sung-Jer Lu, Syu-Fang Lai, Yi-Yung Chen |
| 2013 | simFI: From single to simultaneous software fault injections. | Stefan Winter, Michael Tretter, Benjamin Sattler, Neeraj Suri |
| 2013 | Model-based performance analysis of local re-execution scheme in offloading system. | Qiushi Wang, Huaming Wu, Katinka Wolter |
| 2013 | Detecting malicious landing pages in Malware Distribution Networks. | Gang Wang, Jack W. Stokes, Cormac Herley, David Felstead |
| 2013 | Consistency or latency? A quantitative analysis of replication systems based on replicated state machines. | Xu Wang, Hailong Sun, Ting Deng, Jinpeng Huai |
| 2013 | A practical characterization of a NASA SpaceCube application through fault emulation and laser testing. | John Paul Walters, Kenneth M. Zick, Matthew French |
| 2013 | Error detector placement for soft computation. | Anna Thomas, Karthik Pattabiraman |
| 2013 | Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS: A hybrid formal modeling approach. | Feng Tan, Yufei Wang, Qixin Wang, Lei Bu, Rong Zheng, Neeraj Suri |
| 2013 | Application-driven TCP recovery and non-stop BGP. | Robert Surton, Ken Birman, Robbert van Renesse |
| 2013 | Lightweight message tracing for debugging wireless sensor networks. | Vinaitheerthan Sundaram, Patrick Eugster |
| 2013 | SIDE: Isolated and efficient execution of unmodified device drivers. | Yifeng Sun, Tzi-cker Chiueh |
| 2013 | PHYS: Profiled-HYbrid Sampling for soft error reliability benchmarking. | Jinho Suh, Murali Annavaram, Michel Dubois |
| 2013 | Survey on security threats and protection mechanisms in embedded automotive networks. | Ivan Studnia, Vincent Nicomette, Eric Alata, Yves Deswarte, Mohamed Kaniche, Youssef Laarouchi |
| 2013 | An algorithmic approach to error localization and partial recomputation for low-overhead fault tolerance. | Joseph Sloan, Rakesh Kumar, Greg Bronevetsky |
| 2013 | Seamless kernel updates. | Maxim Siniavine, Ashvin Goel |
| 2013 | Dependability models for designing disaster tolerant cloud computing systems. | Bruno Silva, Paulo Romero Martins Maciel, Eduardo Tavares, Armin Zimmermann |
| 2013 | Practical Experiences with real-world systems: Security in the world of reliable and safe systems. | Nuno Silva, Rui Lopes |
| 2013 | A view on the past and future of fault injection. | Nuno Silva, Ricardo Barbosa, Joo Carlos Cunha, Marco Vieira |