@misc{indiciae82015d47a0f2,
  title = {Hypercollecting Semantics and its Application to Static Analysis of Information Flow},
  author = {Mounir Assaf and David A. Naumann and Julien Signoles and Éric Totel and Frédéric Tronel},
  year = {2016},
  doi = {10.1145/3009837.3009889},
  url = {https://arxiv.org/abs/1608.01654},
  note = {Source identifier: 1608.01654}
}