Micro-Policies
Verified, Hardware-Assisted Security Monitors
- Philadelphia, Paris, and Portland
Popular repositories Loading
-
micro-policies-coq
micro-policies-coq PublicCoq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors
Coq 19
-
verified-ifc
verified-ifc PublicCoq formalization accompanying the paper: A Verified Information-Flow Architecture
Repositories
Showing 2 of 2 repositories
- verified-ifc Public
Coq formalization accompanying the paper: A Verified Information-Flow Architecture
micro-policies/verified-ifc’s past year of commit activity - micro-policies-coq Public
Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors
micro-policies/micro-policies-coq’s past year of commit activity