Aleksandar Nanevski, Anindya Banerjee, Deepak Garg. Dependent Type Theory for Verification of Information Flow and Access Control Policies. ACM Transactions on Programming Languages and Systems, 35(2):6, 2013. [doi]
@article{NanevskiBG13, title = {Dependent Type Theory for Verification of Information Flow and Access Control Policies}, author = {Aleksandar Nanevski and Anindya Banerjee and Deepak Garg}, year = {2013}, doi = {10.1145/2491522.2491523}, url = {http://doi.acm.org/10.1145/2491522.2491523}, researchr = {https://researchr.org/publication/NanevskiBG13}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {35}, number = {2}, pages = {6}, }