@misc{indiciaee7bdd17b89a2,
  title = {Output-sensitive Information flow analysis},
  author = {Cristian Ene and Laurent Mounier and Marie-Laure Potet},
  year = {2021},
  doi = {10.23638/lmcs-17(1:15)2021},
  url = {https://arxiv.org/abs/1909.09567},
  note = {Source identifier: 1909.09567}
}