Shared Reference Monitor Systems:
Shamon: A distributed systems security enforcement
architecture based on establishing reference monitor guarantees for
security enforcement software across a set of machines
Retrofitting for Security: (Mostly)
automated generation of security code and conversion of ordinary
programs into secure programs