article · 2016
Academic Year 2011/12
Alessandro Frazza, Stefano Calzavara Ph. D, To Elsa
Cited by 0Abstract and details only
Abstract
The growing adoption by mobile devices of the Android operating system has in-creased interest in security mechanisms which are able to ensure secrecy and in-tegrity of user data. This thesis describes a new type system which, exploiting the Decentralized Label Model, allows developers to guarantee that their application respects the former security properties, in a way which is totally transparent to the end-user. The proposed framework tackles some peculiar challenges raised by the Android platform, such as a non-standard control flow, a non-typed communication system based upon Intents and the introduction of a support to some of the most recent features of Java, such as Generics. Being a mostly static analysis, the im-pact on performance is negligible. The thesis also describes as the hereby proposed solution blends in with the Lintent framework, which statically analyzes Android ap-plications in order to detect privilege escalation attacks and verify inter-component communication. Acknowledgments
Cite this paper
Frazza, A., D, S. C. P., & Elsa, T. (2016). Academic Year 2011/12.
Frazza, Alessandro, et al. “Academic Year 2011/12.” 2016.
Frazza, Alessandro, Stefano Calzavara Ph. D, and To Elsa. 2016. “Academic Year 2011/12.”
Frazza, A., D, S.C.P. and Elsa, T. (2016) ‘Academic Year 2011/12’.
@article{frazza2016academic,
title = {{Academic Year 2011/12}},
author = {Frazza, Alessandro and D, Stefano Calzavara Ph. and Elsa, To},
year = {2016}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.