Skip to Main content Skip to Navigation
Master Thesis

Security analysis of Android applications

Bertrand Bonnefoy-Claudet 1, 2
2 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : The now ubiquitous Android platform lacks security features that are considered to be necessary given how easily an application can be uploaded on markets by third-party developers and distributed to a large set of devices. Fortunately, static analysis can help developers, markets and users improve the quality and security of applications at a reasonable cost by being automated. While most existing analyses target specific security properties, we take a step back to build better foundations for the analysis of Android applications. We describe a model and give semantics for a significant part of the system by studying what obstacles existing analyses have faced. We then adapt a classical analysis, known as points-to analysis, to applications. This leads us to design and implement a new form of context-sensitivity for Android, paving the way for further experimentation and more specific security analyses.
Document type :
Master Thesis
Complete list of metadatas

Cited literature [24 references]  Display  Hide  Download

https://dumas.ccsd.cnrs.fr/dumas-01088788
Contributor : Co-Responsables Du Mri V. Gouranton Et S. Blazy <>
Submitted on : Sunday, January 4, 2015 - 1:00:20 PM
Last modification on : Saturday, July 11, 2020 - 3:23:02 AM
Long-term archiving on: : Thursday, September 10, 2015 - 11:20:50 PM

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

  • HAL Id : dumas-01088788, version 1

Citation

Bertrand Bonnefoy-Claudet. Security analysis of Android applications. Formal Languages and Automata Theory [cs.FL]. 2014. ⟨dumas-01088788⟩

Share

Metrics

Record views

741

Files downloads

1493