DAPA: Degradation-Aware Privacy Analysis of Android Apps

No abstract is available for this paper.

• Publication year

  2016

• Venue

  International Workshop on Security and Trust Management

• Publication date

  2016-09-26

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-319-46598-2_3
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving

  2016cited by this paper
• A suite of abstract domains for static analysis of string values

  2015cited by this paper
• Information Flow Analysis of Android Applications in DroidSafe

  2015cited by this paper
• Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis

  2015cited by this paper
• Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications

  2015cited by this paper
• MorphDroid: Fine-grained Privacy Verification

  2015cited by this paper
• FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps

  2014influential reference
• A Bayesian Approach to Privacy Enforcement in Smartphones

  2014cited by this paper
• Amandroid: A Precise and General Inter-component Data Flow Analysis Framework for Security Vetting of Android Apps

  2014cited by this paper
• AppIntent: analyzing sensitive data transmission in android for privacy leakage detection

  2013cited by this paper
• SAILS: static analysis of information leakage with sample

  2012cited by this paper
• Definition of the Arithmetic Operations and Comparison Relations for an Interval Arithmetic

  2011cited by this paper
• Static Analysis of String Values

  2011cited by this paper
• Information flow analysis for javascript

  2011cited by this paper
• Vetting browser extensions for security vulnerabilities with VEX

  2011cited by this paper
• TaintDroid

  2010cited by this paper
• VEX: Vetting Browser Extensions for Security Vulnerabilities

  2010cited by this paper
• TAJ: effective taint analysis of web applications

  2009cited by this paper
• Staged information flow for javascript

  2009cited by this paper
• Complete Interval Arithmetic and Its Implementation on the Computer

  2009cited by this paper
• Quantitative information flow as network flow capacity

  2008cited by this paper
• Cross Site Scripting Prevention with Dynamic Data Tainting and Static Analysis

  2007cited by this paper
• Weakly Relational Numerical Abstract Domains

  2004influential reference
• Control Flow Analysis of Mobile Ambients with Security Boundaries

  2002cited by this paper
• A Deontic Logic for Reasoning about Confidentiality

  1996cited by this paper
• 2008 IEEE Symposium on Security and Privacy FABLE: A Language for Enforcing User-defined Security Policies

  year unknowncited by this paper

• Analyzing Android Taint Analysis Tools: FlowDroid, Amandroid, and DroidSafe

  2022cites this paper
• Automating the GDPR Compliance Assessment for Cross-border Personal Data Transfers in Android Applications

  2021cites this paper
• GDPR Compliance Assessment for Cross-Border Personal Data Transfers in Android Apps

  2021cites this paper
• PlusApps: Towards a Privacy Risk Analysis for Android Plus Applications

  2020cites this paper
• From CIL to Java bytecode: Semantics-based translation for static analysis leveraging

  2020cites this paper
• A Systematic Mapping Study on Software Quality Control Techniques for Assessing Privacy in Information Systems

  2020cites this paper
• Prevention of Data Leakage due to Implicit Information Flows in Android Applications

  2019cites this paper
• M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs

  2018cites this paper
• CIL to Java-Bytecode Translation for Static Analysis Leveraging

  2018cites this paper
• WiFi-Related Energy Consumption Analysis of Mobile Devices in a Walkable Area by Abstract Interpretation

  2017cites this paper
• Data-Oriented Instrumentation against Information Leakages of Android Applications

  2017cites this paper