Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors
Other
19
stars
0
forks
source link
readme
Micro-Policies in Coq
Description
Coq formalization accompanying the paper:
Micro-Policies: A Framework for Verified, Tag-Based Security Monitors. Arthur
Azevedo de Amorim, Maxime Dénès, Nick Giannarakis, Cătălin Hriţcu, Benjamin
C. Pierce, Antal Spector-Zabusky, Andrew Tolmach. In 36th IEEE Symposium on
Security and Privacy (Oakland S&P),
May 2015. (http://prosecco.gforge.inria.fr/personal/hritcu/publications/micro-policies.pdf)