@misc{indiciaee481ed0ab652,
  title = {Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution},
  author = {Kristopher Micinski and Jonathan Fetter-Degges and Jinseong Jeon and Jeffrey S. Foster and Michael R. Clarkson},
  year = {2015},
  url = {https://arxiv.org/abs/1504.03711},
  note = {Source identifier: 1504.03711}
}