Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1504.03711
Cited By
v1
v2 (latest)
Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution
14 April 2015
Kristopher K. Micinski
Jonathan Fetter-Degges
Jinseong Jeon
J. Foster
Michael R. Clarkson
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution"
Title
No papers
