@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}, month = oct, year = 2009, volume = 13, number = 1, pages = {1--40}, url = {http://doi.acm.org/10.1145/1609956.1609960} }