Analyze sensitive information transmission with symbolic execution for Android

• Main Author: Zhuo, Mingde
• Other Authors: Liu Yang
• Format: Final Year Project
• Language: English
• Published: 2015
• Subjects: DRNTU::Engineering::Electrical and electronic engineering
• Online Access: http://hdl.handle.net/10356/62709
• Institution: Nanyang Technological University

Android is one of the most widely used mobile operating system, and it is subjected to various vulnerability issues. Some of them are confused deputy attack and collusion attack, where malicious applications make use of privilege escalation by colluding permissions. Symbolic execution is proposed to...