Speculative virtual verification: policy-constrained speculative execution.

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

Browse the full NSPW paper archive.