@TechReport{MooreC11tr,
  author = 	 {Scott Moore and Stephen Chong},
  title = 	 {Static Analysis for Efficient Hybrid Information-Flow Control},
  institution =  {Harvard University},
  year = 	 2011,
  number = 	 {TR-05-11},
  month = 	 may
}