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
Proceedings ArticleDOI
DeepDroid: Dynamically Enforcing Enterprise Policy on Android Devices.
TL;DR: DeepDroid is a dynamic enterprise security policy enforcement scheme on Android devices implemented by dynamic memory instrumentation of a small number of critical system processes without any firmware modification and can be easily deployed on various smartphone platforms with a wide range of Android versions.
Proceedings ArticleDOI
Collaborative Verification of Information Flow for a High-Assurance App Store
Michael D. Ernst,René Just,Suzanne Millstein,Werner Dietl,Stuart Pernsteiner,Franziska Roesner,Karl Koscher,Paulo Barros,Ravi Bhoraskar,Seungyeop Han,Paul Vines,Edward XueJun Wu +11 more
TL;DR: A verification model for use in high-integrity app stores to guarantee that the apps are free of malicious information flows, in which the software vendor and the app store auditor collaborate -- each does tasks that are easy for her/him, reducing overall verification cost.
Proceedings ArticleDOI
Phosphor: illuminating dynamic data flow in commodity jvms
Jonathan Bell,Gail E. Kaiser +1 more
TL;DR: Phosphor is presented, a dynamic taint tracking system for the Java Virtual Machine (JVM) that simultaneously achieves the goals of performance, soundness, precision, and portability, and is the first portable general purpose taint tracker for the JVM.
Proceedings ArticleDOI
Can't You Hear Me Knocking: Identification of User Actions on Android Apps via Traffic Analysis
TL;DR: In this paper, the authors investigate to which extent it is feasible to identify the specific actions that a user is doing on mobile apps, by eavesdropping their encrypted network traffic, and design a system that achieves this goal by using advanced machine learning techniques.
Proceedings ArticleDOI
A Classifier of Malicious Android Applications
TL;DR: This paper proposes a method for detecting malware based on three metrics, which evaluate: the occurrences of a specific subset of system calls, a weighted sum of a subset of permissions that the application required, and a set of combinations of permissions.
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.