@article{stefan:2012:arxiv-flexible,
  author  = {Deian Stefan and Alejandro Russo and John C. Mitchell and David Mazi\`eres},
  title   = {Flexible Dynamic Information Flow Control in the Presence of Exceptions},
  journal = {Arxiv preprint arXiv:1207.1457},
  month   = {July},
  year    = {2012},
}