Language-Based Security Reference Monitors Greg Morrisett Cornell University Lang. Based Security Papers for this lecture F.B.Schneider, “Enforceable Security Policies.”…