Message from the DCCS Track Program Chair (PDF)
Message from the PDS Track Program Chair (PDF)
William C. Carter Award (PDF)
Conference Organizers (PDF)
DSN Steering Committee (PDF)
DCCS Program Committee (PDF)
Reviewers for DCCS (PDF)
PDS Program Committee (PDF)
Reviewers for PDS (PDF)
Science and Engineering: A Collusion of Cultures (Abstract)
Augmenting Branch Predictor to Secure Program Execution (Abstract)
A Firewall for Routers: Protecting against Routing Misbehavior (Abstract)
An Architectural Approach to Preventing Code Injection Attacks (Abstract)
Failure Resilience for Device Drivers (Abstract)
Fault Tolerance Connectors for Unreliable Web Services (Abstract)
Robustness and Security Hardening of COTS Software Libraries (Abstract)
Automatic Verification and Discovery of Byzantine Consensus Protocols (Abstract)
Knowledge Connectivity vs. Synchrony Requirements for Fault-Tolerant Agreement in Unknown Networks (Abstract)
Communication Predicates: A High-Level Abstraction for Coping with Transient and Dynamic Faults (Abstract)
Synchronous Consensus with Mortal Byzantines (Abstract)
Reliability Techniques for RFID-Based Object Tracking Applications (Abstract)
Profiling Attacker Behavior Following SSH Compromises (Abstract)
Dependability Assessment of Grid Middleware (Abstract)
Assessing Robustness of Web-Services Infrastructures (Abstract)
Protecting Cryptographic Keys from Memory Disclosure Attacks (Abstract)
Fault Tolerant Planning for Critical Robots (Abstract)
A Tunable Add-On Diagnostic Protocol for Time-Triggered Systems (Abstract)
Enhanced Reliability Modeling of RAID Storage Systems (Abstract)
On a Modeling Framework for the Analysis of Interdependencies in Electric Power Systems (Abstract)
Superscalar Processor Performance Enhancement through Reliable Dynamic Clock Frequency Tuning (Abstract)
Determining Fault Tolerance of XOR-Based Erasure Codes Efficiently (Abstract)
Fault Tolerant Approaches to Nanoelectronic Programmable Logic Arrays (Abstract)
Concilium: Collaborative Diagnosis of Broken Overlay Routes (Abstract)
R-Sentry: Providing Continuous Sensor Services against Random Node Failures (Abstract)
A Fast Rejuvenation Technique for Server Consolidation with Virtual Machines (Abstract)
Architecture-Level Soft Error Analysis: Examining the Limits of Common Assumptions (Abstract)
Feedback Redundancy: A Power Efficient SEU-Tolerant Latch Design for Deep Sub-Micron Technologies (Abstract)
Using Register Lifetime Predictions to Protect Register Files against Soft Errors (Abstract)
Using Process-Level Redundancy to Exploit Multiple Cores for Transient Fault Tolerance (Abstract)
Inherent Time Redundancy (ITR): Using Program Repetition for Low-Overhead Fault Tolerance (Abstract)
Utilizing Dynamically Coupled Cores to Form a Resilient Chip Multiprocessor (Abstract)
BlackJack: Hard Error Detection with Redundant Threads on SMT (Abstract)
Confidence: Its Role in Dependability Cases for Risk Assessment (Abstract)
Assurance Based Development of Critical Systems (Abstract)
Multiprocessors May Reduce System Dependability under File-Based Race Condition Attacks (Abstract)
Understanding Resiliency of Internet Topology against Prefix Hijack Attacks (Abstract)
User Discrimination through Structured Writing on PDAs (Abstract)
How to Choose a Timing Model? (Abstract)
Electing an Eventual Leader in an Asynchronous Shared Memory System (Abstract)
Minimizing Response Time for Quorum-System Protocols over Wide-Area Networks (Abstract)
HyParView: A Membership Protocol for Reliable Gossip-Based Broadcast (Abstract)
A Lightweight Mechanism for Dependable Communication in Untrusted Networks (Abstract)
Dynamic Cross-Realm Authentication for Multi-Party Service Interactions (Abstract)
Enhancing DNS Resilience against Denial of Service Attacks (Abstract)
Automatic Cookie Usage Setting with CookiePicker (Abstract)
Greedy Receivers in IEEE 802.11 Hotspots (Abstract)
Emergent Structure in Unstructured Epidemic Multicast (Abstract)
The Case for FEC-Based Reliable Multicast in Wireless Mesh Networks (Abstract)
On the Selection of Error Model(s) for OS Robustness Evaluation (Abstract)
Experimental Risk Assessment and Comparison Using Software Fault Injection (Abstract)
Foundations of Measurement Theory Applied to the Evaluation of Dependability Attributes (Abstract)
A Framework for Architecture-Level Lifetime Reliability Modeling (Abstract)
Processor-Level Selective Replication (Abstract)
Robustness Testing of the Windows DDK (Abstract)
SLAM: Sleep-Wake Aware Local Monitoring in Sensor Networks (Abstract)
What Supercomputers Say: A Study of Five System Logs (Abstract)
How Do Mobile Phones Fail? A Failure Data Analysis of Symbian OS Smart Phones (Abstract)
A Real-Time Network Traffic Profiling System (Abstract)
RAS by the Yard (Abstract)
Web Services Wind Tunnel: On Performance Testing Large-Scale Stateful Web Services (Abstract)
On the Cost of Modularity in Atomic Broadcast (Abstract)
Eventually k-Bounded Wait-Free Distributed Daemons (Abstract)
Measuring Availability in Optimistic Partition-Tolerant Systems with Data Constraints (Abstract)
Quantifying the Effectiveness of Mobile Phone Virus Response Mechanisms (Abstract)
Improving Recoverability in Multi-tier Storage Systems (Abstract)
Portable and Efficient Continuous Data Protection for Network File Servers (Abstract)
Workshop on Dependable Application Support for Self-Organizing Networks (DASSON 2007) (Abstract)
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains (Abstract)
Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems (Abstract)
A Reinforcement Learning Approach to Automatic Error Recovery (Abstract)
On the Quality of Service of Crash-Recovery Failure Detectors (Abstract)
E2EProf: Automated End-to-End Performance Management for Enterprise Systems (Abstract)
Bounding Peer-to-Peer Upload Traffic in Client Networks (Abstract)
Performability Models for Multi-Server Systems with High-Variance Repair Durations (Abstract)
Quantifying the Effectiveness of Mobile Phone Virus Response Mechanisms (Abstract)
Workshop on Dependable Application Support for Self-Organizing Networks (DASSON 2007) (PDF)
Third Workshop on Hot Topics in System Dependability HotDep'07 (PDF)
Workshop on Architecting Dependable Systems (WADS 2007) (PDF)
Assurance Cases for Security: The Metrics Challenge (PDF)
Workshop on Dependable and Secure Nanocomputing (PDF)
Author Index (PDF)