@TechReport{abadi+:cfi-theory-TR,
  author =       {Mart\'{i}n Abadi and Mihai Budiu and \'{U}lfar Erlingsson and Jay Ligatti},
  title =        {A Theory of Secure Control Flow},
  institution =  {Microsoft Research},
  year =         {2005},
  number =       {MSR-TR-2005-17},
  month =        jan,
  url =		 {http://www.cs.princeton.edu/~jligatti/papers/MSR-TR-2005-17.pdf}
}