@InProceedings{MooreC11,
  author = 	 {Scott Moore and Stephen Chong},
  title = 	 {Static Analysis for Efficient Hybrid Information-Flow Control},
  booktitle =	 {Proceedings of the 24th {IEEE} Computer Security Foundations Symposium},
  year = 	 2011,
  month = 	 jun,
  pages =	 {146--160},
  publisher =    {IEEE Press},
  address =     {Piscataway, NJ, USA}
}