Speculative virtual verification: policy-constrained speculative execution

Michael E. Locasto, Stelios Sidiroglou, Angelos D. Keromytis. Speculative virtual verification: policy-constrained speculative execution. In Simon N. Foley, editor, Proceedings of the New Security Paradigms Workshop 2005, Lake Arrowhead, California, USA, September 20-23, 2005. pages 119-124, ACM, 2005. [doi]

Abstract

Abstract is missing.