The Community for Technology Leaders
2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (2012)
Boston, MA, USA USA
June 25, 2012 to June 28, 2012
ISSN: 1530-0889
ISBN: 978-1-4673-1624-8
TABLE OF CONTENTS
Papers

Organizers (Abstract)

pp. 1-5

CFIMon: Detecting violation of control flow integrity using performance counters (PDF)

Yubin Xia , Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University, China
Yutao Liu , Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University, China
Haibo Chen , Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University, China
Binyu Zang , School of Computer Science, Fudan University, China
pp. 1-12

BLOCKWATCH: Leveraging similarity in parallel programs for error detection (PDF)

Jiesheng Wei , Department of Electrical and Computer Engineering, The University of British Columbia (UBC), Canada
Karthik Pattabiraman , Department of Electrical and Computer Engineering, The University of British Columbia (UBC), Canada
pp. 1-12

Low-cost program-level detectors for reducing silent data corruptions (PDF)

Siva Kumar Sastry Hari , Department of Computer Science, University of Illinois at Urbana-Champaign, USA
Sarita V. Adve , Department of Computer Science, University of Illinois at Urbana-Champaign, USA
Helia Naeimi , Intel Labs, Intel Corporation, USA
pp. 1-12

Safeguarding academic accounts and resources with the University Credential Abuse Auditing System (PDF)

Jing Zhang , Dept. of Electrical Engineering and Computer Science, University of Michigan, USA
Robin Berthier , Information Trust Institute and Dept. of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign, USA
Will Rhee , Office of Information and Infrastructure Assurance, University of Michigan, USA
Michael Bailey , Dept. of Electrical Engineering and Computer Science, University of Michigan, USA
Partha Pal , BBN Technologies, Cambridge, MA, USA
Farnam Jahanian , Dept. of Electrical Engineering and Computer Science, University of Michigan, USA
William H. Sanders , Information Trust Institute and Dept. of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign, USA
pp. 1-8

A dependability analysis of hardware-assisted polling integrity checking systems (PDF)

Jiang Wang , Center for Secure Information Systems, George Mason University Fairfax, VA 22030, USA
Kun Sun , Center for Secure Information Systems, George Mason University Fairfax, VA 22030, USA
Angelos Stavrou , Center for Secure Information Systems, George Mason University Fairfax, VA 22030, USA
pp. 1-12

An empirical study of the robustness of Inter-component Communication in Android (PDF)

Amiya K. Maji , Purdue University, West Lafayette, IN, USA
Fahad A. Arshad , Purdue University, West Lafayette, IN, USA
Saurabh Bagchi , Purdue University, West Lafayette, IN, USA
Jan S. Rellermeyer , IBM Research, Austin, TX, USA
pp. 1-12

Message from the DCCS program chair (PDF)

Philip Koopman , Carnegie Mellon University, USA
pp. 1

Message from the PDS Program Chair (PDF)

Michel Cukier , University of Maryland, USA
pp. 1

Sponsored (Abstract)

pp. 1

Message from the general chair (PDF)

Robert Swarz , The MITRE Corporation, USA
pp. 1

Instrumenting AUTOSAR for dependability assessment: A guidance framework (PDF)

Thorsten Piper , Technische Universität Darmstadt, Germany
Stefan Winter , Technische Universität Darmstadt, Germany
Paul Manns , Technische Universität Darmstadt, Germany
Neeraj Suri , Technische Universität Darmstadt, Germany
pp. 1-12

Binary mutation testing through dynamic translation (PDF)

Markus Becker , Faculty of Electrical Engineering, Computer Science and Mathematics, University of Paderborn/C-LAB, D-33102, Germany
Christoph Kuznik , Faculty of Electrical Engineering, Computer Science and Mathematics, University of Paderborn/C-LAB, D-33102, Germany
Mabel Mary Joy , Faculty of Electrical Engineering, Computer Science and Mathematics, University of Paderborn/C-LAB, D-33102, Germany
Tao Xie , Faculty of Electrical Engineering, Computer Science and Mathematics, University of Paderborn/C-LAB, D-33102, Germany
Wolfgang Mueller , Faculty of Electrical Engineering, Computer Science and Mathematics, University of Paderborn/C-LAB, D-33102, Germany
pp. 1-12

DS-Bench Toolset: Tools for dependability benchmarking with simulation and assurance (PDF)

Hajime Fujita , The University of Tokyo, Japan
Yutaka Matsuno , The University of Tokyo, Japan
Toshihiro Hanawa , University of Tsukuba, Japan
Mitsuhisa Sato , University of Tsukuba, Japan
Shinpei Kato , University of California, Santa Cruz, USA
Yutaka Ishikawa , The University of Tokyo, Japan
pp. 1-8

Multi-Ring Paxos (PDF)

Parisa Jalili Marandi , University of Lugano (USI), Switzerland
Marco Primi , University of Lugano (USI), Switzerland
Fernando Pedone , University of Lugano (USI), Switzerland
pp. 1-12

Adaptive algorithms for diagnosing large-scale failures in computer networks (PDF)

Srikar Tati , Network and Security Research Center, Pennsylvania State University, USA
Bong Jun Ko , IBM TJ Watson, USA
Guohong Cao , Network and Security Research Center, Pennsylvania State University, USA
Ananthram Swami , Army Research Laboratory, USA
Thomas La Porta , Network and Security Research Center, Pennsylvania State University, USA
pp. 1-12

Practical scrubbing: Getting to the bad sector at the right time (PDF)

George Amvrosiadis , Dept. of Computer Science, University of Toronto, Canada
Alina Oprea , RSA Laboratories, Cambridge, MA, USA
Bianca Schroeder , Dept. of Computer Science, University of Toronto, Canada
pp. 1-12

Robust data sharing with key-value stores (PDF)

Cristina Basescu , Vrije Universiteit Amsterdam, The Netherlands
Christian Cachin , IBM Research - Zurich, Rüschlikon, Switzerland
Ittay Eyal , Dep. of Electrical Engineering, The Technion - Israel Inst. of Technology, Haifa, Israel
Robert Haas , IBM Research - Zurich, Rüschlikon, Switzerland
Alessandro Sorniotti , IBM Research - Zurich, Rüschlikon, Switzerland
Marko Vukolic , Eurécom, Sophia Antipolis, France
Ido Zachevsky , Dep. of Electrical Engineering, The Technion - Israel Inst. of Technology, Haifa, Israel
pp. 1-12

A framework for efficient evaluation of the fault tolerance of deduplicated storage systems (PDF)

Eric William Davis Rozier , Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, USA
William H. Sanders , Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, USA
pp. 1-12

Error injection-based study of soft error propagation in AMD Bulldozer microprocessor module (PDF)

Cristian Constantinescu , Advanced Micro Devices, Inc., Fort Collins, CO, USA
Mike Butler , Advanced Micro Devices, Inc., Sunnyvale, CA, USA
Chris Weller , Advanced Micro Devices, Inc., Fort Collins, CO, USA
pp. 1-6

Characterization of the error resiliency of power grid substation devices (PDF)

Kuan-Yu Tseng , Center for Reliable and High-Performance Computing, University of Illinois at Urbana-Champaign, 1308 W. Main Street, 61801, USA
Daniel Chen , Center for Reliable and High-Performance Computing, University of Illinois at Urbana-Champaign, 1308 W. Main Street, 61801, USA
Zbigniew Kalbarczyk , Center for Reliable and High-Performance Computing, University of Illinois at Urbana-Champaign, 1308 W. Main Street, 61801, USA
Ravishankar K. Iyer , Center for Reliable and High-Performance Computing, University of Illinois at Urbana-Champaign, 1308 W. Main Street, 61801, USA
pp. 1-8

High-performance parallel accelerator for flexible and efficient run-time monitoring (PDF)

Daniel Y. Deng , Computer Systems Laboratory, Cornell University, Ithaca, New York 14850, USA
G. Edward Suh , Computer Systems Laboratory, Cornell University, Ithaca, New York 14850, USA
pp. 1-12

Automatic fault characterization via abnormality-enhanced classification (PDF)

Greg Bronevetsky , Lawrence Livermore National Laboratory, USA
Ignacio Laguna , Purdue University, USA
Bronis R. de Supinski , Lawrence Livermore National Laboratory, USA
Saurabh Bagchi , Purdue University, USA
pp. 1-12

Draco: Statistical diagnosis of chronic problems in large distributed systems (PDF)

Soila P. Kavulya , Carnegie Mellon University, USA
Scott Daniels , AT&T Labs - Research, USA
Kaustubh Joshi , AT&T Labs - Research, USA
Matti Hiltunen , AT&T Labs - Research, USA
Rajeev Gandhi , Carnegie Mellon University, USA
Priya Narasimhan , Carnegie Mellon University, USA
pp. 1-12

Model-driven consolidation of Java workloads on multicores (PDF)

Danilo Ansaloni , University of Lugano, Switzerland
Lydia Y. Chen , IBM Zürich Research Laboratory, Rüschlikon, Switzerland
Evgenia Smirni , College of William and Mary, Virginia, USA
Walter Binder , University of Lugano, Switzerland
pp. 1-12

Finite horizon analysis of infinite CTMDPs (PDF)

Peter Buchholz , Informatik IV, TU Dortmund, Germany
pp. 1-12

Toward comprehensive and accurate simulation performance prediction of parallel file systems (PDF)

Miguel A. Erazo , School of Computer and Information Sciences, Florida International University, USA
Ting Li , School of Computer and Information Sciences, Florida International University, USA
Jason Liu , School of Computer and Information Sciences, Florida International University, USA
Stephan Eidenbenz , Information Sciences (CCS-3), Los Alamos National Laboratory, USA
pp. 1-12

Scalable deferred update replication (PDF)

Daniele Sciascia , University of Lugano (USI), Switzerland
Fernando Pedone , University of Lugano (USI), Switzerland
Flavio Junqueira , Yahoo! Research, Spain
pp. 1-12

Latent fault detection in large scale services (PDF)

Moshe Gabel , Department of Computer Science, Technion - Israel Institute of Technology, Haifa, Israel
Assaf Schuster , Department of Computer Science, Technion - Israel Institute of Technology, Haifa, Israel
Ran-Gilad Bachrach , Microsoft Research, Microsoft, Redmond, WA, USA
Nikolaj Bjorner , Microsoft Research, Microsoft, Redmond, WA, USA
pp. 1-12

Keep net working - on a dependable and fast networking stack (PDF)

Tomas Hruby , The Network Institute, VU University Amsterdam, Netherlands
Dirk Vogt , The Network Institute, VU University Amsterdam, Netherlands
Herbert Bos , The Network Institute, VU University Amsterdam, Netherlands
Andrew S. Tanenbaum , The Network Institute, VU University Amsterdam, Netherlands
pp. 1-12

A cost-based heterogeneous recovery scheme for distributed storage systems with RAID-6 codes (PDF)

Yunfeng Zhu , School of Computer Science and Technology, University of Science & Technology of China, China
Patrick P. C. Lee , Department of Computer Science and Engineering, The Chinese University of Hong Kong, China
Liping Xiang , School of Computer Science and Technology, University of Science & Technology of China, China
Yinlong Xu , School of Computer Science and Technology, University of Science & Technology of China, China
Lingling Gao , School of Computer Science and Technology, University of Science & Technology of China, China
pp. 1-12

A new symbolic approach for network reliability analysis (PDF)

Marco Beccuti , Dipartimento di Informatica, Università di Torino, Italy
Andrea Bobbio , DiSIT, Università del Piemonte Orientale, Alessandria, Italy
Giuliana Franceschinis , DiSIT, Università del Piemonte Orientale, Alessandria, Italy
Roberta Terruggia , DiSIT, Università del Piemonte Orientale, Alessandria, Italy
pp. 1-12

A study of soft error consequences in hard disk drives (PDF)

Timothy Tsai , Hitachi Global Storage Technologies, Japan
Nawanol Theera-Ampornpunt , Purdue University, USA
Saurabh Bagchi , Purdue University, USA
pp. 1-8

Heuristics for optimizing matrix-based erasure codes for fault-tolerant storage systems (PDF)

James S. Plank , EECS Department, University of Tennessee, Knoxville, USA
Catherine D. Schuman , EECS Department, University of Tennessee, Knoxville, USA
B. Devin Robison , School of Computing, University of Utah, Salt Lake City, USA
pp. 1-12

Algorithmic approaches to low overhead fault detection for sparse linear algebra (PDF)

Joseph Sloan , University of Illinois, Urbana-Champaign, USA
Rakesh Kumar , University of Illinois, Urbana-Champaign, USA
Greg Bronevetsky , Lawrence Livermore National Laboratory, CA, USA
pp. 1-12

Perspectives on software safety case development for unmanned aircraft (PDF)

Ewen Denney , SGT / NASA Ames Research Center, Moffett Field, CA 94035, USA
Ganesh Pai , SGT / NASA Ames Research Center, Moffett Field, CA 94035, USA
Ibrahim Habli , Department of Computer Science, University of York, UK
pp. 1-8

Scalable optimal countermeasure selection using implicit enumeration on attack countermeasure trees (PDF)

Arpan Roy , Department of Electrical and Computer Engineering, Duke University, Durham, NC 27708, USA
Dong Seong Kim , Department of Computer Science and Software Engineering, University of Canterbury, Christchurch 8140, New Zealand
Kishor S. Trivedi , Department of Electrical and Computer Engineering, Duke University, Durham, NC 27708, USA
pp. 1-12

Time-efficient and cost-effective network hardening using attack graphs (PDF)

Massimiliano Albanese , Center for Secure Information Systems, George Mason University, 4400 University Drive, Fairfax, VA 22030, USA
Sushil Jajodia , Center for Secure Information Systems, George Mason University, 4400 University Drive, Fairfax, VA 22030, USA
Steven Noel , Center for Secure Information Systems, George Mason University, 4400 University Drive, Fairfax, VA 22030, USA
pp. 1-12

Taming Mr Hayes: Mitigating signaling based attacks on smartphones (PDF)

Collin Mulliner , Technische Universität Berlin and Deutsche Telekom Laboratories, D-10587, Germany
Steffen Liebergeld , Technische Universität Berlin and Deutsche Telekom Laboratories, D-10587, Germany
Matthias Lange , Technische Universität Berlin and Deutsche Telekom Laboratories, D-10587, Germany
Jean-Pierre Seifert , Technische Universität Berlin and Deutsche Telekom Laboratories, D-10587, Germany
pp. 1-12

A cross-layer approach for IP network protection (PDF)

Qiang Zheng , Department of Computer Science and Engineering, The Pennsylvania State University, USA
Jing Zhao , Department of Computer Science and Engineering, The Pennsylvania State University, USA
Guohong Cao , Department of Computer Science and Engineering, The Pennsylvania State University, USA
pp. 1-12

Assessing time coalescence techniques for the analysis of supercomputer logs (PDF)

Catello Di Martino , Center for Reliable and High-Performance Computing, University of Illinois at Urbana-Champaign, 1308 W. Main Street, 61801, USA
Marcello Cinque , Dipartimento di Informatica e Sistemistica, Università degli Studi di Napoli Federico II, Via Claudio 21, 80125, Italy
Domenico Cotroneo , Dipartimento di Informatica e Sistemistica, Università degli Studi di Napoli Federico II, Via Claudio 21, 80125, Italy
pp. 1-12

Optimization of data collection strategies for model-based evaluation and decision-making (PDF)

Robert Cain , School of Computing Science, Centre for Cybercrime and Computer Security, Newcastle University, Newcastle upon Tyne, NE1 7RU, UK
Aad van Moorsel , School of Computing Science, Centre for Cybercrime and Computer Security, Newcastle University, Newcastle upon Tyne, NE1 7RU, UK
pp. 1-10

Filtering log data: Finding the needles in the Haystack (PDF)

Li Yu , Illinois Institute of Technology, Chicago, 60616, USA
Ziming Zheng , Illinois Institute of Technology, Chicago, 60616, USA
Zhiling Lan , Illinois Institute of Technology, Chicago, 60616, USA
Terry Jones , Oak Ridge National Laboratory, TN 37831, USA
Jim M. Brandt , Sandia National Laboratories, Livermore, CA 94551, USA
Ann C. Gentile , Sandia National Laboratories, Livermore, CA 94551, USA
pp. 1-12

RDIS: A recursively defined invertible set scheme to tolerate multiple stuck-at faults in resistive memory (PDF)

Rami Melhem , Computer Science Department, University of Pittsburgh, PA 15260 USA
Rakan Maddah , Computer Science Department, University of Pittsburgh, PA 15260 USA
Sangyeun Cho , Computer Science Department, University of Pittsburgh, PA 15260 USA
pp. 1-12

RePRAM: Re-cycling PRAM faulty blocks for extended lifetime (PDF)

Jie Chen , Department of Electrical and Compurer Engirrering, The George Washington University, DC, US
Guru Venkataramani , Department of Electrical and Compurer Engirrering, The George Washington University, DC, US
H. Howie Huang , Department of Electrical and Compurer Engirrering, The George Washington University, DC, US
pp. 1-12

VARIUS-NTV: A microarchitectural model to capture the increased sensitivity of manycores to process variations at near-threshold voltages (PDF)

Ulya R. Karpuzcu , University of Illinois Urbana-Champaign, USA
Krishna B. Kolluru , University of Wisconsin Madison, USA
Nam Sung Kim , University of Wisconsin Madison, USA
Josep Torrellas , University of Illinois Urbana-Champaign, USA
pp. 1-11

Mitigating random variation with spare RIBs: Redundant intermediate bitslices (PDF)

David J. Palframan , Department of Electrical and Computer Engineering, University of Wisconsin-Madison, USA
Nam Sung Kim , Department of Electrical and Computer Engineering, University of Wisconsin-Madison, USA
Mikko H. Lipasti , Department of Electrical and Computer Engineering, University of Wisconsin-Madison, USA
pp. 1-11

Lightweight cooperative logging for fault replication in concurrent programs (PDF)

Nuno Machado , INESC-ID, Instituto Superior Técnico, Universidade Técnica de Lisboa, Portugal
Paolo Romano , INESC-ID, Instituto Superior Técnico, Universidade Técnica de Lisboa, Portugal
Luis Rodrigues , INESC-ID, Instituto Superior Técnico, Universidade Técnica de Lisboa, Portugal
pp. 1-12

Confidentiality of event data in policy-based monitoring (PDF)

Mirko Montanari , University of Illinois at Urbana-Champaign, USA
Roy H. Campbell , University of Illinois at Urbana-Champaign, USA
pp. 1-12

Continuous authentication for mouse dynamics: A pattern-growth approach (PDF)

Chao Shen , MOE KLNNIS Lab, Xi'an Jiaotong University, China
Zhongmin Cai , MOE KLNNIS Lab, Xi'an Jiaotong University, China
Xiaohong Guan , MOE KLNNIS Lab, Xi'an Jiaotong University, China
pp. 1-12

NINEPIN: Non-invasive and energy efficient performance isolation in virtualized servers (PDF)

Palden Lama , Department of Computer Science, University of Colorado at Colorado Springs, 80918, USA
Xiaobo Zhou , Department of Computer Science, University of Colorado at Colorado Springs, 80918, USA
pp. 1-12
96 ms
(Ver )