DMCA

Micro-Policies Formally Verified, Tag-Based Security Monitors

by Arthur Azevedo De Amorim , Nick Giannarakis , Benjamin C. Pierce , Antal Spector-zabusky , Andrew Tolmach
Citations:3 - 0 self