@Article{cfi-journal,
  author = 	 {Mart\'{i}n Abadi and Mihai Budiu and \'{U}lfar Erlingsson and Jay Ligatti},
  title = 	 {Control-Flow Integrity: Principles, Implementations, and Applications},
  journal =      {{ACM} Transactions on Information and System Security},
  publisher =    {{ACM} Press},
  address =      {New York, NY, USA},
  url =          {http://www.cse.usf.edu/~ligatti/papers/cfi-tissec.pdf},
  note =         "To appear"
}