@InProceedings{BedfordCDT2016,
  author = 	 {Andrew Bedford and Stephen Chong and Jos\'{e}e Desharnais and Nadia Tawbi},
  title = 	 {A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor},
  booktitle =    {Proceedings of the 31st IFIP TC 11 International Information Security and Privacy Conference},
  year = 	 2016,
  pages = 	 {352--366},
  month = 	 may,
  publisher =    {Springer International Publishing}
}