@InProceedings{cfi-theory, author = "Mart\'{i}n Abadi and Mihai Budiu and \'{U}lfar Erlingsson and Jay Ligatti", title = "A Theory of Secure Control Flow", booktitle = "International Conference on Formal Engineering Methods", year = 2005, month = nov, url = {http://www.cs.princeton.edu/~jligatti/papers/cfi-theory.pdf} }