| 2013 | Practical automated vulnerability monitoring using program state invariants. | Cristiano Giuffrida, Lorenzo Cavallaro, Andrew S. Tanenbaum |
| 2013 | Data fusion-base anomay detection in networked critical infrastructures. | Bla Genge, Christos Siaterlis, Georgios Karopoulos |
| 2013 | An intrusion-tolerant firewall design for protecting SIEM systems. | Miguel Garcia, Nuno Ferreira Neves, Alysson Bessani |
| 2013 | Key issues in service systems resilience. | Kazuo Furuta, Taro Kanno |
| 2013 | Detecting and tolerating data corruptions due to device driver defects. | Francesco Fucci |
| 2013 | Analysis of bugs in Apache Virtual Computing Lab. | Flavio Frattini, Rahul Ghosh, Marcello Cinque, Andy J. Rindos, Kishor S. Trivedi |
| 2013 | Implementing the ADVISE security modeling formalism in Mbius. | Michael D. Ford, Ken Keefe, Elizabeth LeMay, William H. Sanders, Carol Muehrcke |
| 2013 | FORISK: Formalizing information security risk and compliance management. | Stefan Fenz, Thomas Neubauer, Rafael Accorsi, Thomas G. Koslowski |
| 2013 | On reliability analysis of leader election protocols for virtual traffic lights. | Negin Fathollahnejad, Emlia Villani, Risat Pathan, Raul Barbosa, Johan Karlsson |
| 2013 | Increasing the trustworthiness of commodity hardware through software. | Kevin Elphinstone, Yanyan Shen |
| 2013 | Reading between the lines of failure logs: Understanding how HPC systems fail. | Nosayba El-Sayed, Bianca Schroeder |
| 2013 | Chasing the optimum in replicated in-memory transactional platforms via protocol adaptation. | Maria Couceiro, Pedro Ruivo, Paolo Romano, Lus E. T. Rodrigues |
| 2013 | Towards secure monitoring and control systems: Diversify! | Domenico Cotroneo, Antonio Pecchia, Stefano Russo |
| 2013 | Automatic collection of failure data from the iOS platform. | Marcello Cinque, Domenico Cotroneo, Carlos Rodrguez-Domnguez, Jos Luis Garrido |
| 2013 | Predicting job completion times using system logs in supercomputing clusters. | Xin Chen, Charng-Da Lu, Karthik Pattabiraman |
| 2013 | The KARYON project: Predictable and safe coordination in cooperative vehicular systems. | Antnio Casimiro, Jrg Kaiser, Elad Schiller, Pedro Costa, Jos Parizi, Rolf Johansson, Renato Librino |
| 2013 | Redefining web browser principals with a Configurable Origin Policy. | Yinzhi Cao, Vaibhav Rastogi, Zhichun Li, Yan Chen, Alexander Moshchuk |
| 2013 | Message from the DCCS program chair. | George Candea |
| 2013 | Storage-efficient data replica number computation for multi-level priority data in distributed storage systems. | Chris X. Cai, Cristina L. Abad, Roy H. Campbell |
| 2013 | Behavioral aspects for agent-based models of resilient urban systems. | Thomas Brudermann, Yoshiki Yamagata |
| 2013 | Keynote: Toward vehicle automation ADAS, the new challenges. | Serge Boverie |
| 2013 | Generative software-based memory error detection and correction for operating system data structures. | Christoph Borchert, Horst Schirmeier, Olaf Spinczyk |
| 2013 | State-of-the-practice in data center virtualization: Toward a better understanding of VM usage. | Robert Birke, Andrej Podzimek, Lydia Y. Chen, Evgenia Smirni |
| 2013 | Distal: A framework for implementing fault-tolerant distributed algorithms. | Martin Biely, Pamela Delgado, Zarko Milosevic, Andr Schiper |
| 2013 | Locality matters: Reducing Internet traffic graphs using location analysis. | Andreas Berger, Stefan Ruehrup, Wilfried N. Gansterer, Oliver Jung |