Language-Based Security Proof-Carrying Code Greg Morrisett Cornell University Thanks to G.Necula & P.Lee.
CS711: Reference Monitors Part 1: OS & SFI Greg Morrisett Cornell University.