@InProceedings{MalechaC10,
  author = 	 {Gregory Malecha and Stephen Chong},
  title = 	 {A More Precise Security Type System for Dynamic Security Tests},
  year = 	 2010,
  booktitle = {Proceedings of the {ACM} {SIGPLAN} Fifth Workshop on Programming Languages and Analysis for Security},
  month = 	 jun
}