Making Distributed Mobile Applications SAFE: Enforcing User Privacy Policies on Untrusted Applications with Secure Application Flow Enforcement
Adriana Szekeres, Irene Zhang, Katelin Bailey, Isaac Ackerman, Haichen, Shen, Franziska Roesner, Dan R. K. Ports, Arvind Krishnamurthy, and Henry M., Levy

TL;DR
This paper introduces SAFE, a framework that leverages mobile OS trust to enforce user privacy policies on untrusted cloud services and applications, ensuring data privacy without modifying existing apps.
Contribution
The paper presents a novel SAFE framework that enforces privacy policies on untrusted cloud services and unmodified mobile applications by leveraging OS trust.
Findings
Successfully enforced privacy policies on unmodified apps
Implemented prototypes for mobile OS and cloud enforcement systems
Demonstrated feasibility of policy enforcement on real applications
Abstract
Today's mobile devices sense, collect, and store huge amounts of personal information, which users share with family and friends through a wide range of applications. Once users give applications access to their data, they must implicitly trust that the apps correctly maintain data privacy. As we know from both experience and all-too-frequent press articles, that trust is often misplaced. While users do not trust applications, they do trust their mobile devices and operating systems. Unfortunately, sharing applications are not limited to mobile clients but must also run on cloud services to share data between users. In this paper, we leverage the trust that users have in their mobile OSes to vet cloud services. To do so, we define a new Secure Application Flow Enforcement (SAFE) framework, which requires cloud services to attest to a system stack that will enforce policies provided by…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Malware Detection Techniques · Security and Verification in Computing · Cloud Data Security Solutions
