@TechReport{MalechaC10tr,
  author = 	 {Gregory Malecha and Stephen Chong},
  title = 	 {A More Precise Security Type System for Dynamic Security Tests},
  institution =  {Harvard University},
  year = 	 2010,
  month = 	 jun,
  number = 	 {TR-05-10}
}