Abstract:Android is the most widely used mobile operating system with billions of users and devices. The popularity of Android apps have enticed malware writers to target them. Recently, Jamrozik et al. proposed an approach, named Boxmate, to mine sandboxes to protect Android users from malicious behaviors. In a nutshell, Boxmate analyzes the execution of an app, and collects a list of sensitive APIs that are invoked by that app in a monitoring phase. Then, it constructs a sandbox that can restrict accesses to sensitive APIs not called by the app. In such a way, malicious behaviors that are not observed in the monitoring phase - occurring, for example, due to malicious code injection during an attack - can be prevented. Nevertheless, Boxmate only focuses on a specific API type (i.e., sensitive APIs); it also ignores parameter values of many API methods and requested permissions during the execution of a target app. As a result, Boxmate is not able to detect malicious behaviors in many cases. In this work, we address the limitation of Jamrozik et al.'s work by considering input parameters of many different types of API methods for mining a more comprehensive sandbox. Given a benign app, we first extract a list of Android permissions that the app may request during its execution. Next, we leverage an automated test case generation tool, named Droidbot, to generate a rich set of GUI test cases for exploring behaviors of the app. During the execution of these test cases, we analyze the execution of four different types of API methods. Furthermore, we record input parameters to these API methods, and classify those into four different categories. We leverage the collected parameter values, and the list of requested permissions to create a sandbox that can protect users from malicious behaviors. Our experiments on 25 pairs of real benign and malicious apps show that our approach is more effective than the coarse-and fine-grained variants of Boxmate by 267.37% and 81.64% in terms of F-measure respectively.

SafeJS: Hermetic Sandboxing for JavaScript

Transaction-based Sandboxing for JavaScript

ADsafety: Type-Based Verification of JavaScript Sandboxing

A Sandbox System in Linux Kernel

Virtual Browser: A Virtualized Browser To Sandbox Third-Party Javascripts With Enhanced Security

Virtual Browser: A Web-Level Sandbox To Secure Third-Party Javascript Without Sacrificing Functionality

Retrofitting Fine Grain Isolation in the Firefox Renderer (Extended Version)

Hybrid User-level Sandboxing of Third-party Android Apps.

Towards Mining Comprehensive Android Sandboxes.

Ubox: A Lightweight and Hardware-assisted Sandbox for Multicore Embedded Systems

Optimizing Away JavaScript Obfuscation

Sandboxing Adoption in Open Source Ecosystems

Dynamic Process Isolation

Mayall: A Framework for Desktop JavaScript Auditing and Post-Exploitation Analysis

Semantics and Security Issues in JavaScript

Unleashing Unprivileged eBPF Potential with Dynamic Sandboxing

Least Privilege Access for Persistent Storage Mechanisms in Web Browsers

Novel sandbox for executing malicious code

A Security Study about Electron Applications and a Programming Methodology to Tame DOM Functionalities.

Portlet Wrappers using JavaScript

The RAppArmor Package: Enforcing Security Policies in R Using Dynamic Sandboxing on Linux