micro-policies/micro-policies-coq
Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors
CoqNOASSERTION
Stargazers
- aggelgianNational Technical University of Athens
- catalin-hritcuMax Planck Institute for Security and Privacy (MPI-SP)
- chrisswhitneyyNorthern Computing LLC.
- d3v3l0Munich
- dettanym
- fuyu0425Georgia Tech
- JetafullTokyo, Japan
- jvalinsky
- kiniry@FreeAndFair @GaloisInc
- mgrabovskyFakta o klimatu
- nickgianAWS
- overminder@LinkedIn
- scott-fleischman
- ShuyangLiu
- sweirichUniversity of Pennsylvania
- tupipaRichland, WA
- TwannemanStudio Twanneman.nl
- valpackettArgentina ⭐⭐⭐
- yjuglRennes, France