Micro-Policies: Formally Verified, Tag-Based Security Monitors.
Arthur Azevedo de Amorim, Maxime Dns, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach
VenueA*SP
Year2015
ProceedingsIEEE Symposium on Security and Privacy
DBLP recordconf/sp/AmorimDGHPST15 ↗
Browse the full SP paper archive.