@inproceedings{Bohannon:2009:RN:1653662.1653673,
 author = {Bohannon, Aaron and Pierce, Benjamin C. and Sj\"{o}berg, Vilhelm and Weirich, Stephanie and Zdancewic, Steve},
 title = {Reactive Noninterference},
 booktitle = {Proceedings of the 16th ACM Conference on Computer and Communications Security},
 series = {CCS '09},
 year = {2009},
 isbn = {978-1-60558-894-0},
 location = {Chicago, Illinois, USA},
 pages = {79--90},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/1653662.1653673},
 doi = {10.1145/1653662.1653673},
 acmid = {1653673},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {information flow, noninterference, reactive programming, web applications, web browsers},
}