DroidSafe

Abstract

The DroidSafe project developed effective program analysis techniques and tools to uncover malicious code in Android mobile applications. The core of the system is a static information flow analysis that reports the context under which sensitive information is used. The DroidSafe project invested significant time developing a comprehensive semantic model of Android run-time behaviors alongside the analysis to achieve acceptable precision, accuracy, and scalability for real-world Android applications.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 2016
Accession Number
AD1023840

Entities

People

  • Jeff Perkins
  • Michael Gordon

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Authentication
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Cybersecurity
  • Debugging
  • Lisp Programming Language
  • Mobile Application Software
  • Mobile Devices
  • Operating Systems
  • Programming Languages
  • Semantic Models
  • Text Messaging
  • Web Browsers

Fields of Study

  • Engineering

Readers

  • Agent-Based Social Robotics and Mobile-Assisted Learning in Virtual Environments.
  • Computational Fluid Dynamics (CFD)