Verification of Information Flow and Access Control Policies with Dependent Types | Publicación