| 2012 | A study of soft error consequences in hard disk drives. | Timothy K. Tsai, Nawanol Theera-Ampornpunt, Saurabh Bagchi |
| 2012 | Adaptive algorithms for diagnosing large-scale failures in computer networks. | Srikar Tati, Bong Jun Ko, Guohong Cao, Ananthram Swami, Thomas La Porta |
| 2012 | TinyChecker: Transparent protection of VMs against hypervisor failures with nested virtualization. | Cheng Tan, Yubin Xia, Haibo Chen, Binyu Zang |
| 2012 | A model for security analysis of smart meters. | Farid Molazem Tabrizi, Karthik Pattabiraman |
| 2012 | Physical attack protection with human-secure virtualization in data centers. | Jakub Szefer, Pramod A. Jamkhedkar, Yu-Yuan Chen, Ruby B. Lee |
| 2012 | Does partial replication pay off? | Jon Stearley, Kurt B. Ferreira, David J. Robinson, Jim Laros, Kevin T. Pedretti, Dorian C. Arnold, Patrick G. Bridges, Rolf Riesen |
| 2012 | Algorithmic approaches to low overhead fault detection for sparse linear algebra. | Joseph Sloan, Rakesh Kumar, Greg Bronevetsky |
| 2012 | Invited talk: Virtual coaches in health care. | Daniel P. Siewiorek |
| 2012 | Continuous authentication for mouse dynamics: A pattern-growth approach. | Chao Shen, Zhongmin Cai, Xiaohong Guan |
| 2012 | Scalable deferred update replication. | Daniele Sciascia, Fernando Pedone, Flavio Junqueira |
| 2012 | Osprey: Operating system for predictable clouds. | Jan Sacha, Jeff Napper, Sape J. Mullender, Jim McKie |
| 2012 | A framework for efficient evaluation of the fault tolerance of deduplicated storage systems. | Eric Rozier, William H. Sanders |
| 2012 | Scalable optimal countermeasure selection using implicit enumeration on attack countermeasure trees. | Arpan Roy, Dong Seong Kim, Kishor S. Trivedi |
| 2012 | On the complexity of scheduling checkpoints for computational workflows. | Yves Robert, Frdric Vivien, Dounia Zaidouni |
| 2012 | Dependability as a cloud service - a modular approach. | Jan S. Rellermeyer, Saurabh Bagchi |
| 2012 | Chaotic-identity maps for robustness estimation of exascale computations. | Nageswara S. V. Rao |
| 2012 | Heuristics for optimizing matrix-based erasure codes for fault-tolerant storage systems. | James S. Plank, Catherine D. Schuman, B. Devin Robison |
| 2012 | Instrumenting AUTOSAR for dependability assessment: A guidance framework. | Thorsten Piper, Stefan Winter, Paul Manns, Neeraj Suri |
| 2012 | Toward a high availability cloud: Techniques and challenges. | Cuong Manh Pham, Phuong Cao, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
| 2012 | Mitigating random variation with spare RIBs: Redundant intermediate bitslices. | David J. Palframan, Nam Sung Kim, Mikko H. Lipasti |
| 2012 | ExtraTime: Modeling and analysis of wearout due to transistor aging at microarchitecture-level. | Fabian Oboril, Mehdi Baradaran Tahoori |
| 2012 | Improving resilience of SOA services along space-time dimensions. | Quyen L. Nguyen, Arun Sood |
| 2012 | Taming Mr Hayes: Mitigating signaling based attacks on smartphones. | Collin Mulliner, Steffen Liebergeld, Matthias Lange, Jean-Pierre Seifert |
| 2012 | MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures. | Kevin Mueller, Michael Paulitsch, Sergey Tverdyshev, Holger Blasum |
| 2012 | Evidence of log integrity in policy-based security monitoring. | Mirko Montanari, Jun Ho Huh, Derek Dagit, Rakesh Bobba, Roy H. Campbell |