@Article{BedfordCDKT2017,
  author = 	 {Andrew Bedford and Stephen Chong and Jos\'{e}e Desharnais and Elisavet Kozyri and Nadia Tawbia},
  title = 	 {A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor},
  journal = 	 {Computers & Security},
  year = 	 2017,
  volume = 	 71,
  pages = 	 {114--131},
  month = 	 nov
}