DAPA: Degradation-Aware Privacy Analysis of Android Apps
- 17 September 2016
- book chapter
- Published by Springer Nature
- p. 32-46
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile ApplicationsLecture Notes in Computer Science, 2015
- FlowDroidACM SIGPLAN Notices, 2014
- A suite of abstract domains for static analysis of string valuesSoftware: Practice and Experience, 2013
- AppIntent2013
- Vetting browser extensions for security vulnerabilities with VEXCommunications of the ACM, 2011
- Static Analysis of String Values2011
- Staged information flow for javascriptACM SIGPLAN Notices, 2009
- Complete Interval Arithmetic and Its Implementation on the Computer2009
- Control Flow Analysis of Mobile Ambients with Security Boundaries2002
- A deontic logic for reasoning about confidentiality1996