Limin Jia, Steve Zdancewic. Encoding information flow in Aura. In Stephen Chong, David A. Naumann, editors, Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009. pages 17-29, ACM, 2009. [doi]
@inproceedings{JiaZ09-0,
title = {Encoding information flow in Aura},
author = {Limin Jia and Steve Zdancewic},
year = {2009},
doi = {10.1145/1554339.1554344},
url = {http://doi.acm.org/10.1145/1554339.1554344},
tags = {data-flow},
researchr = {https://researchr.org/publication/JiaZ09-0},
cites = {0},
citedby = {0},
pages = {17-29},
booktitle = {Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009},
editor = {Stephen Chong and David A. Naumann},
publisher = {ACM},
isbn = {978-1-60558-645-8},
}