This paper describes GenProg, an automated method for repairing defects in off-the-shelf,
legacy programs without formal specifications, program annotations, or special coding …

Buffer overflow attacks still pose a significant threat to the security and availability of today's
computer systems. Although there are a number of solutions proposed to provide adequate …

Despite advances in software modularity, security, and reliability, offline patching remains
the predominant form of updating or protecting commodity software. Unfortunately, the …

TxBox is a new system for sand boxing untrusted applications. It speculatively executes the
application in a system transaction, allowing security checks to be parallelized and yielding …

The introduction of self-healing capabilities to software systems could offer a way to alter the
current, unfavorable imbalance in the software security arms race. Consequently, self …

Correct enforcement of authorization policies is a difficult task, especially for multi-threaded
software. Even in carefully-reviewed code, unauthorized access may be possible in subtle …

Software quality is an urgent problem. There are so many bugs in industrial program source
code that mature software projects are known to ship with both known and unknown bugs …

Applications in the fields of scientific computing, simulation, optimization, machine learning,
etc. are sometimes said to be" non-testable programs" because there is no reliable test …

Eudaemon is a technique that aims to blur the borders between protected and unprotected
applications, and brings together honeypot technology and end-user intrusion detection and …

Providing security guarantees for systems built out of untrusted components requires the
ability to define and enforce access control policies over untrusted code. In Web 2.0 …