/micro-policies-coq

Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors

Primary LanguageCoqOtherNOASSERTION

Issues