@inproceedings{hristova06efficient,
author="Katia Hristova, Tom Rothamel, Yanhong A. Liu, and Scott D. Stoller",
title="Efficient Type Inference for Secure Information Flow",
booktitle="Proceedings of the 2006 ACM SIGPLAN Workshop on Programming
    Languages and Analysis for Security",
month=jun,
year=2006,
series="SIGPLAN Notices",
publisher="ACM Press"
}