Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution.

Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, Michael R. Clarkson

Browse the full ESORICS paper archive.