Micro-Policies

Verified, Hardware-Assisted Security Monitors

Philadelphia, Paris, and Portland

Pinned Repositories

micro-policies-coq
Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors
Language:Coq19 7 10
verified-ifc
Coq formalization accompanying the paper: A Verified Information-Flow Architecture
Language:Coq4 11 01

Micro-Policies's Repositories

micro-policies/micro-policies-coq
Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors
Language:Coq19 7 10
micro-policies/verified-ifc
Coq formalization accompanying the paper: A Verified Information-Flow Architecture
Language:Coq4 11 01