@misc{indiciaea394ce3539db,
  title = {Flexible Dynamic Information Flow Control in the Presence of Exceptions},
  author = {Deian Stefan and Alejandro Russo and John C. Mitchell and David Mazières},
  year = {2012},
  url = {https://arxiv.org/abs/1207.1457},
  note = {Source identifier: 1207.1457}
}