Fingerprint
Dive into the research topics of 'Checking interaction-based declassification policies for android using symbolic execution'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Checking interaction-based declassification policies for android using symbolic execution
Kristopher Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, Michael R. Clarkson
Research output: Chapter in Book/Entry/Poem › Conference contribution
10
Scopus
citations