Write a Blog >>
Tue 20 Jun 2017 09:30 - 09:50 at Vertex WS217 - A Chair(s): Radu Grigore

In this position paper we advocate software model check- ing as a technique suitable for security of analysis mobile apps. Our recommendation is based on promising results that we achieved on analysing app collusion in the context of the Android operating system. To this end we devel- oped the K-Android tool, which provides an encoding of the Android/Smali code semantics within the K framework. K-Android allows for software model checking of Android APK files. Though our experience so far is limited to collusion, we believe the approach to be applicable to further security properties as well as other mobile operating systems.

Tue 20 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30: FTfJP 2017 - A at Vertex WS217
Chair(s): Radu GrigoreUniversity of Kent
FTfJP-2017-papers09:30 - 09:50
Irina AsavoaeINRIA, Paris, France, Hoang Nga NguyenCoventry University, Coventry, UK, Markus RoggenbachSwansea University, Swansea, UK, Siraj Ahmed ShaikhCoventry University, Coventry, UK
FTfJP-2017-papers09:50 - 10:25
Moussa AmraniUniversity of Namur, Pierre Yves SchobbensUniversity of Namur
FTfJP-2017-papers10:25 - 10:30
Moez A. AbdelGawadInformatics Research Institute, SRTA-City, Alexandria, Egypt