Enforcing more with less: Formalizing target-aware run-time monitors.   [PDF, BibTeX, ]
Yannis Mallios, Lujo Bauer, Dilsun Kaynar, and Jay Ligatti.
In Security and Trust Management: 8th International Workshop, STM 2012, Pisa, Italy, September 13--14, 2012, Revised Selected Papers, volume 7783 of Lecture Notes in Computer Science, pages 17--32, 2013. © Springer-Verlag  DOI:10.1007/978-3-642-38004-4_2