@conference{nan+ban+gar:sp11,
author = "Aleksandar Nanevski and Anindya Banerjee and Deepak Garg",
booktitle = "IEEE Symposium on Security and Privacy",
doi = "10.1109/SP.2011.12  ",
note = "PARTNERS: IMDEA
PROJECTS: PROMETIDOS, DESAFIOS, PARAN10, HATS, NESSOS
TIER: A
CITE(03/03/2014):26",
title = "{V}erification of {I}nformation {F}low and {A}ccess {C}ontrol {P}olicies with {D}ependent {T}ypes",
year = "2011",
}