220 citations · 524 across the 11 of their papers we have counts for
4 papers · 1 filter
In-Vivo Bytecode Instrumentation for Improving Privacy on Android Smartphones in Uncertain Environments
Alexandre Bartel, Jacques Klein, Martin Monperrus +2
In this paper we claim that an efficient and readily applicable means to improve privacy of Android applications is: 1) to perform runtime monitoring by instrumenting the applicati…
Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android
Alexandre Bartel, Jacques Klein, Martin Monperrus +1
A common security architecture, called the permission-based security model (used e.g. in Android and Blackberry), entails intrinsic risks. For instance, applications can be granted…
Model Driven Mutation Applied to Adaptative Systems Testing
Alexandre Bartel, Benoit Baudry, Freddy Munoz +3
Dynamically Adaptive Systems modify their behav- ior and structure in response to changes in their surrounding environment and according to an adaptation logic. Critical sys- tems…
Dexpler: Converting Android Dalvik Bytecode to Jimple for Static Analysis with Soot
Alexandre Bartel, Jacques Klein, Martin Monperrus +1
This paper introduces Dexpler, a software package which converts Dalvik bytecode to Jimple. Dexpler is built on top of Dedexer and Soot. As Jimple is Soot's main internal rep- rese…