Speculative Virtual Verification: Policy-Constrained Speculative Execution

Michael E. Locasto; Stelios Sidiroglou; Angelos D. Keromytis

Speculative Virtual Verification: Policy-Constrained Speculative Execution
Locasto, Michael E.
Sidiroglou, Stelios
Keromytis, Angelos D.
Computer Science
Permanent URL:
Book/Journal Title:
New Security Paradigms Workshop: Proceedings: September 20-23, 2005, Lake Arrowhead California, United States
Book Author:
Hempelmann, Christian F.
Publisher Location:
New York
A key problem facing current computing systems is the inability to autonomously manage security vulnerabilities as well as more mundane errors. Since the design of computer architectures is usually performance-driven, hardware often lacks primitives for tasks in which raw speed is not the primary goal. There is little architectural support for monitoring execution at the instruction level, and no mechanisms for assisting an automated response. This paper advocates modifying general-purpose processors to provide both program supervision and automatic response via a policy-driven monitoring mechanism and instruction stream rewriting, respectively. These capabilities form the basis of speculative virtual verification (SVV).SVV is a model for the speculative execution of code based on high-level security and safety constraints. We introduce architectural enhancements to support this framework, including the ability to supply an automated response by rewriting the instruction stream. Finally, given the novelty of the SVV approach to executing software, we briefly consider some important challenges for SVV-based systems.
Computer science
Publisher DOI:
Item views:
Additional metadata is currently unavailable for this item.
Suggested Citation:
Michael E. Locasto, Stelios Sidiroglou, Angelos D. Keromytis, 2005, Speculative Virtual Verification: Policy-Constrained Speculative Execution, Columbia University Academic Commons, http://hdl.handle.net/10022/AC:P:13974.

In Partnership with the Center for Digital Research and Scholarship at Columbia University Libraries | Terms of Use | Copyright