TY  - RPRT
TI  - Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution
AU  - Kristopher Micinski
AU  - Jonathan Fetter-Degges
AU  - Jinseong Jeon
AU  - Jeffrey S. Foster
AU  - Michael R. Clarkson
PY  - 2015
UR  - https://arxiv.org/abs/1504.03711
ID  - 1504.03711
ER  -