| 2004 | An Architectural Framework for Providing Reliability and Security Support. | Nithin Nakka, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Jun Xu |
| 2004 | Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems. | Jennifer Morris, Daniel Kroening, Philip Koopman |
| 2004 | Robust Aggregation Protocols for Large-Scale Overlay Networks. | Alberto Montresor, Mrk Jelasity, zalp Babaoglu |
| 2004 | Model Checking Dependability Attributes of Wireless Group Communication. | Mieke Massink, Joost-Pieter Katoen, Diego Latella |
| 2004 | Dependable Adaptive Real-Time Applications in Wormhole-based Systems. | Pedro Martins, Paulo Jorge Paiva de Sousa, Antnio Casimiro, Paulo Verssimo |
| 2004 | A Framework for Dynamic Byzantine Storage. | Jean-Philippe Martin, Lorenzo Alvisi |
| 2004 | Caching-Enhanced Scalable Reliable Multicast. | Carolos Livadas, Idit Keidar |
| 2004 | Diverse Firewall Design. | Alex X. Liu, Mohamed G. Gouda |
| 2004 | Twin Workshops on Architecting Dependable Systems (WADS 2004). | Rogrio de Lemos, Cristina Gacek, Alexander B. Romanovsky |
| 2004 | Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees. | Elizabeth Latronico, Paul S. Miner, Philip Koopman |
| 2004 | Cheap Paxos. | Leslie Lamport, Mike Massa |
| 2004 | Recent Discoveries from Paxos. | Leslie Lamport |
| 2004 | Collective Endorsement and the Dissemination Problem in Malicious Environments. | Subramanian Lakshmanan, Deepak J. Manohar, Mustaque Ahamad, H. Venkateswaran |
| 2004 | Fault Detection and Isolation Techniques for Quasi Delay-Insensitive Circuits. | Christopher LaFrieda, Rajit Manohar |
| 2004 | A Markov Reward Model for Reliable Synchronous Dataflow System Design. | Vinu Vijay Kumar, Rashi Verma, John C. Lach, Joanne Bechta Dugan |
| 2004 | Automated Synthesis of Multitolerance. | Sandeep S. Kulkarni, Ali Ebnenasir |
| 2004 | High Throughput Byzantine Fault Tolerance. | Ramakrishna Kotla, Michael Dahlin |
| 2004 | Cyclic Redundancy Code (CRC) Polynomial Selection For Embedded Networks. | Philip Koopman, Tridib Chakravarty |
| 2004 | The Join Problem in Dynamic Network Algorithms. | Kishori M. Konwar, Dariusz R. Kowalski, Alexander A. Shvartsman |
| 2004 | The Recursive NanoBox Processor Grid: A Reliable System Architecture for Unreliable Nanotechnology Devices. | A. J. KleinOsowski, Kevin KleinOsowski, Vijay Rangarajan, Priyadarshini Ranganath, David J. Lilja |
| 2004 | A Defense-Centric Taxonomy Based on Attack Manifestations. | Kevin S. Killourhy, Roy A. Maxion, Kymie M. C. Tan |
| 2004 | Fault Tolerant Energy Aware Data Dissemination Protocol in Sensor Networks. | Gunjan Khanna, Saurabh Bagchi, Yu-Sung Wu |
| 2004 | A Framework for Evaluating Storage System Dependability. | Kimberly Keeton, Arif Merchant |
| 2004 | Optimal Object State Transfer - Recovery Policies for Fault Tolerant Distributed Systems. | Panagiotis Katsaros, Constantine Lazos |
| 2004 | Robust Protection against Fault-Injection Attacks on Smart Cards Implementing the Advanced Encryption Standard. | Mark G. Karpovsky, Konrad J. Kulikowski, Alexander Taubin |