@InProceedings{targetaware:stm12, author = {Yannis Mallios and Lujo Bauer and Dilsun Kaynar and Jay Ligatti}, title = {Enforcing More with Less: {F}ormalizing Target-aware Run-time Monitors}, booktitle = {Proceedings of the International Workshop on Security and Trust Management}, year = 2012, month = sep, pages = {17--32}, }