Micro-Policies: Formally Verified, Tag-Based Security Monitors

Article Details
Title:	Micro-Policies: Formally Verified, Tag-Based Security Monitors
Article URLs:	https://doi.org/10.1109/SP.2015.55 http://doi.ieeecomputersociety.org/10.1109/SP.2015.55
Alternative Article URLs:
Authors:	Arthur Azevedo de Amorim	University of Pennsylvania Inria Paris-Rocquencourt
	Maxime Dénès	University of Pennsylvania Inria Paris-Rocquencourt
	Nick Giannarakis	Inria Paris-Rocquencourt ENS Cachan NTU Athens
	Catalin Hritcu	Inria Paris-Rocquencourt
	Benjamin C. Pierce	University of Pennsylvania
	Antal Spector-Zabusky	University of Pennsylvania
	Andrew Tolmach	Portland State University
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://github.com/micro-policies/micro-policies-coq
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/sp/AmorimDGHPST15
Author Comments:

IEEE Security and Privacy, S&P 2015