@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 =    {Security and Trust Management: 8th International Workshop, STM 2012, Pisa, Italy, September 13--14, 2012, Revised Selected Papers},
  pages =        17--32,
  year = 	 {2013},
  series =       {Lecture Notes in Computer Science},
  volume =       {7783},
  url =          {https://www.ece.cmu.edu/~lbauer/papers/2012/stm2012-monitors.pdf},
  doi =          {10.1007/978-3-642-38004-4_2},
  copyright =    {Springer-Verlag},
  keywords =     {run-time monitoring, language-based security}
}