@micro-policies

Micro-Policies

Verified, Hardware-Assisted Security Monitors

  • Philadelphia, Paris, and Portland
  • Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors

    Coq 6 Updated Feb 7, 2017
  • Coq formalization accompanying the paper: A Verified Information-Flow Architecture

    Coq 1 Updated May 8, 2016