Verification of Information Flow and Access Control Policies with Dependent Types.

Aleksandar Nanevski, Anindya Banerjee, Deepak Garg

Browse the full SP paper archive.