Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution. Micinski, K. K.; Fetter-Degges, J.; Jeon, J.; Foster, J. S.; and Clarkson, M. R. CoRR, 2015.
Paper bibtex @article{DBLP:journals/corr/MicinskiFJFC15,
author = {Kristopher K. Micinski and
Jonathan Fetter{-}Degges and
Jinseong Jeon and
Jeffrey S. Foster and
Michael R. Clarkson},
title = {Checking Interaction-Based Declassification Policies for Android Using
Symbolic Execution},
journal = {CoRR},
volume = {abs/1504.03711},
year = {2015},
url = {http://arxiv.org/abs/1504.03711},
archivePrefix = {arXiv},
eprint = {1504.03711},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MicinskiFJFC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}