Software faults and vulnerabilities continue to present significant obstacles to achieving reliable and secure software. In an effort to overcome these obstacles, systems often incorporate self-monitoring and self-healing functionality. Our hypothesis is that internal monitoring is not an effective long-term strategy. However, monitoring mechanisms that are completely external lose the advantage of application-specific knowledge available to an inline monitor. To balance these tradeoffs, we present the design of VxF, an environment where both supervision and automatic remediation can take place by speculatively executing 'slices' of an application. VxF introduces the concept of an endolithic kernel by providing execution as an operating sys...
The thesis of this work is that eliminating speculation is a feasible approach to mitigating the tra...
Today's extensible operating systems allow applications to modify kernel behavior by providing ...
Most current approaches to self-healing software (SHS) suffer from semantic incorrectness of the res...
Software faults and vulnerabilities continue to present signicant obstacles to achieving reliable an...
Software faults and vulnerabilities continue to present significant obstacles to achieving reliable ...
We propose a new approach for reacting to a wide variety of software failures, ranging from remotely...
A key problem facing current computing systems is the inability to autonomously manage security vuln...
We propose a new approach for reacting to a wide variety of software failures, ranging from remotely...
Most computer defense systems crash the process that they protect as part of their response to an at...
Commodity operating systems are traditionally tuned to improve performance, but in the pursuit of fa...
The increasing sophistication of software attacks has created the need for increasingly finer-graine...
To achieve good performance on modern hardware, software must be designed with a high degree of para...
Modern computer systems are built on a foundation of software components from a variety of vendors. ...
During the past decade, virtualization-based (e.g., virtual machine introspection) and hardware-assi...
Current embryonic attempts at software self-healing produce mechanisms that are often oblivious to t...
The thesis of this work is that eliminating speculation is a feasible approach to mitigating the tra...
Today's extensible operating systems allow applications to modify kernel behavior by providing ...
Most current approaches to self-healing software (SHS) suffer from semantic incorrectness of the res...
Software faults and vulnerabilities continue to present signicant obstacles to achieving reliable an...
Software faults and vulnerabilities continue to present significant obstacles to achieving reliable ...
We propose a new approach for reacting to a wide variety of software failures, ranging from remotely...
A key problem facing current computing systems is the inability to autonomously manage security vuln...
We propose a new approach for reacting to a wide variety of software failures, ranging from remotely...
Most computer defense systems crash the process that they protect as part of their response to an at...
Commodity operating systems are traditionally tuned to improve performance, but in the pursuit of fa...
The increasing sophistication of software attacks has created the need for increasingly finer-graine...
To achieve good performance on modern hardware, software must be designed with a high degree of para...
Modern computer systems are built on a foundation of software components from a variety of vendors. ...
During the past decade, virtualization-based (e.g., virtual machine introspection) and hardware-assi...
Current embryonic attempts at software self-healing produce mechanisms that are often oblivious to t...
The thesis of this work is that eliminating speculation is a feasible approach to mitigating the tra...
Today's extensible operating systems allow applications to modify kernel behavior by providing ...
Most current approaches to self-healing software (SHS) suffer from semantic incorrectness of the res...