Micro-Policies's repositories
micro-policies-coq
Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors
verified-ifc
Coq formalization accompanying the paper: A Verified Information-Flow Architecture