Thomas Schmitz, Dustin Rhodes, Thomas H. Austin, Kenneth Knowles, Cormac Flanagan. Faceted Dynamic Information Flow via Control and Data Monads. In Frank Piessens, Luca Viganò, editors, Principles of Security and Trust - 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Volume 9635 of Lecture Notes in Computer Science, pages 3-23, Springer, 2016. [doi]
@inproceedings{SchmitzRAKF16,
title = {Faceted Dynamic Information Flow via Control and Data Monads},
author = {Thomas Schmitz and Dustin Rhodes and Thomas H. Austin and Kenneth Knowles and Cormac Flanagan},
year = {2016},
doi = {10.1007/978-3-662-49635-0_1},
url = {http://dx.doi.org/10.1007/978-3-662-49635-0_1},
researchr = {https://researchr.org/publication/SchmitzRAKF16},
cites = {0},
citedby = {0},
pages = {3-23},
booktitle = {Principles of Security and Trust - 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
editor = {Frank Piessens and Luca Viganò},
volume = {9635},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-662-49634-3},
}