dc.contributor.advisor |
Calzavara, Stefano |
it_IT |
dc.contributor.author |
Salvini, Fabio <1992> |
it_IT |
dc.date.accessioned |
2018-06-20 |
it_IT |
dc.date.accessioned |
2018-12-03T06:16:45Z |
|
dc.date.available |
2018-12-03T06:16:45Z |
|
dc.date.issued |
2018-07-11 |
it_IT |
dc.identifier.uri |
http://hdl.handle.net/10579/12996 |
|
dc.description.abstract |
Android is the world's most popular mobile OS, with more than 2 billion monthly active devices. Static analysis is an essential tool to protect the sensitive data stored in the devices from malicious applications. In this thesis, we present the first flow logic for the information flow analysis of Dalvik bytecode that is specifically tailored to the peculiar lifecycle of Android applications. A prototype implementation based on a state-of-the-art SMT solver demonstrates the practicality of our approach. |
it_IT |
dc.language.iso |
en |
it_IT |
dc.publisher |
Università Ca' Foscari Venezia |
it_IT |
dc.rights |
© Fabio Salvini, 2018 |
it_IT |
dc.title |
Flow logic based information flow analysis of Android applications |
it_IT |
dc.title.alternative |
Flow logic based information flow analysis of Android applications |
it_IT |
dc.type |
Master's Degree Thesis |
it_IT |
dc.degree.name |
Informatica - computer science |
it_IT |
dc.degree.level |
Laurea magistrale |
it_IT |
dc.degree.grantor |
Dipartimento di Scienze Ambientali, Informatica e Statistica |
it_IT |
dc.description.academicyear |
2017/2018, sessione estiva |
it_IT |
dc.rights.accessrights |
openAccess |
it_IT |
dc.thesis.matricno |
840824 |
it_IT |
dc.subject.miur |
INF/01 INFORMATICA |
it_IT |
dc.description.note |
|
it_IT |
dc.degree.discipline |
|
it_IT |
dc.contributor.co-advisor |
|
it_IT |
dc.date.embargoend |
|
it_IT |
dc.provenance.upload |
Fabio Salvini (840824@stud.unive.it), 2018-06-20 |
it_IT |
dc.provenance.plagiarycheck |
Stefano Calzavara (stefano.calzavara@unive.it), 2018-07-02 |
it_IT |