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]

@inproceedings{LocastoSK05,
  title = {Speculative virtual verification: policy-constrained speculative execution},
  author = {Michael E. Locasto and Stelios Sidiroglou and Angelos D. Keromytis},
  year = {2005},
  doi = {10.1145/1146269.1146295},
  url = {http://doi.acm.org/10.1145/1146269.1146295},
  researchr = {https://researchr.org/publication/LocastoSK05},
  cites = {0},
  citedby = {0},
  pages = {119-124},
  booktitle = {Proceedings of the New Security Paradigms Workshop 2005, Lake Arrowhead, California, USA, September 20-23, 2005},
  editor = {Simon N. Foley},
  publisher = {ACM},
  isbn = {1-59593-317-4},
}