With the widespread availability of multi-core processors, running multiple diversified
variants or several different versions of an application in parallel is becoming a viable …

Software systems are constantly evolving, with new versions and patches being released on
a continuous basis. Unfortunately, software updates present a high risk, with many releases …

Dynamic Software Updating (DSU) is a technique for patching stateful software without
shutting it down, which enables both timely updates and non-stop service. Unfortunately …

A long-standing promise of Byzantine Fault-Tolerant (BFT) replication is to maintain the
service correctness despite the presence of malicious failures. The key challenge here is …

Due to the continued exploitation of Adobe Reader, malicious document (maldoc) detection
has become a pressing problem. Although many solutions have been proposed, recent …

A number of security mechanisms have been proposed to harden programs written in
unsafe languages, each of which mitigates a specific type of memory error. Intuitively …

This paper introduces NetCheck, a tool designed to diagnose network problems in large and
complex applications. NetCheck relies on blackbox tracing mechanisms, such as strace, to …

Multi-Version Execution (MVE) deploys multiple versions of the same program, typically
synchronizing their execution at the level of system calls. By default, MVE requires all …

Software updates present a difficult challenge to the software maintenance process. Too
often, updates result in failures, and users face the uncomfortable choice between using an …

Dynamic analyses such as those implemented by compiler sanitizers and Valgrind are
effective at finding and diagnosing challenging bugs and security vulnerabilities. However …