Meera Sridhar, Kevin W. Hamlen. Flexible in-lined reference monitor certification: challenges and future directions. In Ranjit Jhala, Wouter Swierstra, editors, Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, PLPV 2011, Austin, TX, USA, January 29, 2011. pages 55-60, ACM, 2011. [doi]
Abstract is missing.