TaintDroid: an information-flow tracking system for realtime privacy monitoring on smartphones
William Enck,Peter Gilbert,Byung-Gon Chun,Landon P. Cox,Jaeyeon Jung,Patrick McDaniel,Anmol Sheth +6 more
- pp 393-407
Reads0
Chats0
TLDR
Using TaintDroid to monitor the behavior of 30 popular third-party Android applications, this work found 68 instances of misappropriation of users' location and device identification information across 20 applications.Abstract:
Today's smartphone operating systems frequently fail to provide users with adequate control over and visibility into how third-party applications use their private data. We address these shortcomings with TaintDroid, an efficient, system-wide dynamic taint tracking and analysis system capable of simultaneously tracking multiple sources of sensitive data. TaintDroid provides realtime analysis by leveraging Android's virtualized execution environment. TaintDroid incurs only 14% performance overhead on a CPU-bound micro-benchmark and imposes negligible overhead on interactive third-party applications. Using TaintDroid to monitor the behavior of 30 popular third-party Android applications, we found 68 instances of potential misuse of users' private information across 20 applications. Monitoring sensitive data with TaintDroid provides informed use of third-party applications for phone users and valuable input for smartphone security service firms seeking to identify misbehaving applications.read more
Citations
More filters
Journal ArticleDOI
Identifying User-Input Privacy in Mobile Applications at a Large Scale
TL;DR: UIPicker, an adaptable framework for automatic identification of sensitive user inputs as the first step, is presented, designed to detect the semantic information within the application layout resources and the program code, and further analyze it for the locations where security-critical information may show up.
Proceedings ArticleDOI
Enforcing Privacy Policies with Meta-Code
Håvard D. Johansen,Eleanor Birrell,Robbert van Renesse,Fred B. Schneider,Magnus Stenhaug,Dag Johansen +5 more
TL;DR: The generality and feasibility of this approach is demonstrated using a sports analytics prototype system and the meta-code is interposed in the filesystem access path to ensure policy compliance.
Proceedings ArticleDOI
Optimistic Hybrid Analysis: Accelerating Dynamic Analysis through Predicated Static Analysis
TL;DR: This paper argues that current hybrid analysis is needlessly hampered by an incorrect assumption that preserving the soundness of dynamic analysis requires an underlying sound static analysis, and proposes a new approach, called optimistic hybrid analysis.
Proceedings ArticleDOI
Viola: Trustworthy Sensor Notifications for Enhanced Privacy on Mobile Systems
TL;DR: Viola, a design and implementation of trustworthy sensor notifications, which use indicators such as LED to inform the user unconditionally when the sensors are on, and identifies and adds protection against concurrency attacks in Viola.
Journal ArticleDOI
Understanding Mobile Users’ Privacy Expectations: A Recommendation-Based Method Through Crowdsourcing
TL;DR: PriWe leverages the crowdsourced permission settings to understand users’ privacy expectations and provides app specific recommendations to mitigate information leakage, thereby help them to mitigate privacy disclosure in smartphones.
References
More filters
Journal ArticleDOI
TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones
William Enck,Peter Gilbert,Seungyeop Han,Vasant Tendulkar,Byung-Gon Chun,Landon P. Cox,Jaeyeon Jung,Patrick McDaniel,Anmol Sheth +8 more
TL;DR: TaintDroid as mentioned in this paper is an efficient, system-wide dynamic taint tracking and analysis system capable of simultaneously tracking multiple sources of sensitive data by leveraging Android's virtualized execution environment.
Journal ArticleDOI
Language-based information-flow security
Andrei Sabelfeld,Andrew C. Myers +1 more
TL;DR: A structured view of research on information-flow security is given, particularly focusing on work that uses static program analysis to enforce information- flow policies, and some important open challenges are identified.
Journal ArticleDOI
A lattice model of secure information flow
TL;DR: The model provides a unifying view of all systems that restrict information flow, enables a classification of them according to security objectives, and suggests some new approaches to formulating the requirements of secure information flow among security classes.
Proceedings Article
Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software
James Newsome,Dawn Song +1 more
TL;DR: TaintCheck as mentioned in this paper performs dynamic taint analysis by performing binary rewriting at run time, which can reliably detect most types of exploits and produces no false positives for any of the many different programs that were tested.
Proceedings ArticleDOI
JFlow: practical mostly-static information flow control
TL;DR: The new language JFlow is described, an extension to the Java language that adds statically-checked information flow annotations and provides several new features that make information flow checking more flexible and convenient than in previous models.