Marco Vassena, Alejandro Russo. On Formalizing Information-Flow Control Libraries. In Toby C. Murray, Deian Stefan, editors, Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016. pages 15-28, ACM, 2016. [doi]
@inproceedings{VassenaR16,
title = {On Formalizing Information-Flow Control Libraries},
author = {Marco Vassena and Alejandro Russo},
year = {2016},
doi = {10.1145/2993600.2993608},
url = {http://doi.acm.org/10.1145/2993600.2993608},
researchr = {https://researchr.org/publication/VassenaR16},
cites = {0},
citedby = {0},
pages = {15-28},
booktitle = {Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24, 2016},
editor = {Toby C. Murray and Deian Stefan},
publisher = {ACM},
isbn = {978-1-4503-4574-3},
}