Giters
Micro-Policies (micro-policies)

Micro-Policies

micro-policies

Geek Repo

Verified, Hardware-Assisted Security Monitors

Location:Philadelphia, Paris, and Portland

Github PK Tool:Github PK Tool

Micro-Policies's repositories

micro-policies-coq

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

Language:CoqLicense:NOASSERTIONStargazers:19Issues:7Issues:1

verified-ifc

Coq formalization accompanying the paper: A Verified Information-Flow Architecture

Language:CoqLicense:NOASSERTIONStargazers:4Issues:11Issues:0