@misc{indiciaeaeaeb2709f44,
  title = {Jif: Language-based Information-flow Security in Java},
  author = {Kyle Pullicino},
  year = {2014},
  url = {https://arxiv.org/abs/1412.8639},
  note = {Source identifier: 1412.8639}
}