@InProceedings{ciaos,
 author = {Donald Ray and Jay Ligatti},
 title = {Defining Code-injection Attacks},
 booktitle = {Proceedings of the Symposium on Principles of Programming Languages ({POPL})},
 pages = {179--190},
 year = 2012,
 month = jan,
}