@inproceedings{hristova-plas06, author = {Katia Hristova and Tom Rothamel and Yanhong A. Liu and Scott D. Stoller}, title = {Efficient type inference for secure information flow}, booktitle = {{PLAS '06: Proceedings of the 2006 workshop on Programming Languages and Analysis for Security}}, year = {2006}, isbn = {1-59593-374-3}, pages = {85--94}, location = {Ottawa, Ontario, Canada}, doi = {http://doi.acm.org/10.1145/1134744.1134759}, publisher = {ACM Press}, address = {New York, NY, USA}, }