@TechReport{ONeillCC06tr,
  author =	 {Kevin R. O'Neill and Michael R. Clarkson and Stephen Chong},
  title =	 {Information-Flow Security for Interactive Programs},
  institution =	 {Cornell University Computing and Information Science},
  year =	 2006,
  number =	 {2006-2022},
  month =	 apr
}