Static Checking of Dynamically-Varying Security Policies in Database-Backed Applications.

Adam Chlipala

Browse the full OSDI paper archive.