Scott Moore, Stephen Chong. Static Analysis for Efficient Hybrid Information-Flow Control. In Proceedings of the 24th IEEE Computer Security Foundations Symposium, CSF 2011, Cernay-la-Ville, France, 27-29 June, 2011. pages 146-160, IEEE Computer Society, 2011. [doi]
@inproceedings{MooreC11,
title = {Static Analysis for Efficient Hybrid Information-Flow Control},
author = {Scott Moore and Stephen Chong},
year = {2011},
doi = {10.1109/CSF.2011.17},
url = {http://doi.ieeecomputersociety.org/10.1109/CSF.2011.17},
tags = {analysis, static analysis, data-flow, data-flow analysis},
researchr = {https://researchr.org/publication/MooreC11},
cites = {0},
citedby = {0},
pages = {146-160},
booktitle = {Proceedings of the 24th IEEE Computer Security Foundations Symposium, CSF 2011, Cernay-la-Ville, France, 27-29 June, 2011},
publisher = {IEEE Computer Society},
isbn = {978-1-61284-644-6},
}