Formalisation and analysis of Dalvik bytecode

  title={Formalisation and analysis of Dalvik bytecode},
  author={Erik Ramsgaard Wognsen and Henrik S\ondberg Karlsen and Mads Chr. Olesen and Ren{\'e} Rydhof Hansen},
  journal={Sci. Comput. Program.},
With the large, and rapidly increasing, number of smartphones based on the Android platform, combined with the open nature of the platform that allows “apps” to be downloaded and executed on the smartphone, misbehaving and malicious (malware) apps are set to become a serious problem. To counter this problem, automated tools for analysing and verifying apps are essential. Furthermore, to ensure high-fidelity of such tools, it is essential to formally specify both semantics and analyses. In this… CONTINUE READING
Highly Cited
This paper has 30 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 18 extracted citations

Static analysis of android apps: A systematic literature review

Information & Software Technology • 2017
View 5 Excerpts
Highly Influenced

Android malware detection a survey

2017 IEEE International Conference on Circuits and Systems (ICCS) • 2017
View 1 Excerpt

Challenges for Static Analysis of Java Reflection - Literature Review and Empirical Study

2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE) • 2017
View 1 Excerpt

Towards 3-level hybrid security model for Android Operating Systems

2017 13th International Conference on Emerging Technologies (ICET) • 2017
View 1 Excerpt


Publications referenced by this paper.
Showing 1-10 of 29 references

A Study of Android Application Security

USENIX Security Symposium • 2011
View 5 Excerpts
Highly Influenced

Android permissions demystified

ACM Conference on Computer and Communications Security • 2011
View 6 Excerpts
Highly Influenced

Flow Logic for Language-Based Safety and Security

R. R. Hansen
Ph.D. thesis, Technical University of Denmark • 2005
View 4 Excerpts
Highly Influenced

formalisation, and analysis of Dalvik bytecode. In: Informal proceedings of The Seventh Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE

H. S. Karlsen, E. R. Wognsen, M. C. Olesen, Hansen, R. R. Study
View 1 Excerpt

Analysis of Trojan-SMS.AndroidOS.FakePlayer.a

J. Blasco
Alienvault Labs website: 2010/analysis-of-trojan-sms-androidos-fakeplayer-a/ (Aug 2010), last accessed • 2011
View 2 Excerpts

Similar Papers

Loading similar papers…