Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider. Certified In-lined Reference Monitoring on .NET. In Vugranam C. Sreedhar, Steve Zdancewic, editors, Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, PLAS 2006, Ottawa, Ontario, Canada, June 10, 2006. pages 7-16, ACM, 2006. [doi]
Abstract is missing.