Towards model checking Android applications

• Main Authors: BAI, Guangdong, YE, Quanqi, WU, Yongzheng, BOTHA, Heila, SUN, Jun, LIU, Yang, DONG, Jin Song, VISSER, Willem
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2018
• Subjects: Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/4849; https://ink.library.smu.edu.sg/context/sis_research/article/5852/viewcontent/towards_model___PV.pdf
• Institution: Singapore Management University

As feature-rich Android applications (apps for short) are increasingly popularized in security-sensitive scenarios, methods to verify their security properties are highly desirable. Existing approaches on verifying Android apps often have limited effectiveness. For instance, static analysis often su...