Nikhil Swamy, Michael Hicks. Verified enforcement of stateful information release policies. In Úlfar Erlingsson, Marco Pistoia, editors, Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008. pages 21-32, ACM, 2008. [doi]
@inproceedings{SwamyH08,
title = {Verified enforcement of stateful information release policies},
author = {Nikhil Swamy and Michael Hicks},
year = {2008},
doi = {10.1145/1375696.1375700},
url = {http://doi.acm.org/10.1145/1375696.1375700},
researchr = {https://researchr.org/publication/SwamyH08},
cites = {0},
citedby = {0},
pages = {21-32},
booktitle = {Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008},
editor = {Úlfar Erlingsson and Marco Pistoia},
publisher = {ACM},
isbn = {978-1-59593-936-4},
}