Language-Based Security Proof-Carrying Code Greg Morrisett Cornell University Thanks to G.Necula & P.Lee.
Language-Based Security Reference Monitors Greg Morrisett Cornell University.