Certified In-lined Reference Monitoring on .NET.

Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider

Browse the full PLDI paper archive.