Cochecker: detecting capability and sensitive data leaks from component chains in Android

DOI10.1007/978-3-319-08344-5_31MaRDI QIDQ5170801zbMATH OpenOpenAlexFDO

Authors Xingmin Cui, Da Yu, Patrick P. K. Chan, Sihan Qing, L. C. K. Hui, S. M. Yiu

Publication date 24 July 2014

Published in Information Security and Privacy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-08344-5_31

zbMATH Keywords

Android securityprivilege escalation attackstatic taint analysis

Mathematics Subject Classification ID

Network protocols (68M12) Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• Privacy data leakage detection for Android application
• Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K
• EviCheck: Digital Evidence for Android
• Protecting data on android platform against privilege escalation attack
• A type and effect system for activation flow of components in Android programs

Cited in

(2)

• CoChecker
• Privacy data leakage detection for Android application

Describes a project that uses

Uses Software

• DroidBench

This page was built for publication: Cochecker: detecting capability and sensitive data leaks from component chains in Android

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5170801)