@article{DBLP:journals/toplas/NanevskiBG13, author = "Aleksandar Nanevski and Anindya Banerjee and Deepak Garg", journal = "ACM Trans. Program. Lang. Syst.", note = "(Partners: IMDEA, Projects: MINECO Projects TIN2009-14599-C03-02 Desafios, TIN2010-20639 Paran10, and TIN2012-39391-C04-01 Strongsoft; EU Project NoE-256980 Nessos; Ramon y Cajal grant RYC-2010-0743; AMAROUT grant PCOFUND-GA-2008-229599; U.S. NSF Trustworthy Computing grant 1018061, NoTier) CITE(03/03/2014):3", number = "2", pages = "6", title = "{D}ependent {T}ype {T}heory for {V}erification of {I}nformation {F}low and {A}ccess {C}ontrol {P}olicies", volume = "35", year = "2013", }