@misc{indiciae78f77d7018cd,
  title = {Finding Tizen security bugs through whole-system static analysis},
  author = {Daniel Song and Jisheng Zhao and Michael Burke and Dragoş Sbîrlea and Dan Wallach and Vivek Sarkar},
  year = {2015},
  url = {https://arxiv.org/abs/1504.05967},
  note = {Source identifier: 1504.05967}
}