Micro-Policies: Formally Verified, Tag-Based Security Monitors.

Catalin Hritcu

Browse the full ECOOP paper archive.