. Previously PhD Student at 
. Program / Software / Code analysis enthusiast. Living the clean code philosophy.
PhD / Research Projects Our static Android app slicer, namely Jicer,
is easily usable and supports various features. One of the most important features is APK input and output that allows us to employ Jicer in cooperative analysis scenarios. An example App Dependence Graph (ADG) produced by Jicer
can be found here. The ADG is based on the example used in the paper and in the video available at the associated github project: https://github.com/FoelliX/Jicer.
 TaintBench is an Android taint
analysis benchmark and more! In contrast to popular micro benchmarks such as DroidBench, it consists of real-world malware applications.
Nonetheless it comes with a ground-truth. In addition to the benchmark suite, we extended ReproDroid to better suite the creation and execution of real-world benchmarks.
Further information about both can be found in the associated paper (to appear) and on github: https://github.com/TaintBench
 The Android Merge Tool (AMT) does what the name suggests: it merges arbitrary Android apps into a single merged app. As input it takes a number of Android packages (.apk files) and outputs the merged app as one Android package. Along with this primary output,
a report is generated optionally. It contains information about the properties (e.g. taint-flows) changed. AMT is available on github: https://github.com/FoelliX/AMT
 Along with the paper "Together Strong: Cooperative Android App Analysis" we developed
CoDiDroid, a cooperative (and distributed) Android app analysis tool framework. It represents an instance of a network of analysis tools build by setting up different
AQL-WebServices. More information about CoDiDroid can be found on github: https://github.com/FoelliX/CoDiDroid
 ReproDroid, the Android Benchmark
Reproduction Framework, is a framework which can be used to create, refine and execute reproducible benchmarks for Android app analysis tools. All details are available on github: https://github.com/FoelliX/ReproDroid
 The Android App Analysis Query Language (AQL) consists of two main parts, namely AQL-Queries
and AQL-Answers. AQL-Queries enable us to ask for Android specific analysis subjects in a general, tool independent way. More information and the associated AQL-System can be found on github: https://github.com/FoelliX/AQL-System
|
 PhD successfully defended 03/24/2023 [Link] [DOI] By clicking the button above, you agree to loading Twitter-Embeds. Thereby, personal data may be transmitted to Twitter. |
|
Publications (Generated from: RIS, Also on: DBLP, Google Scholar) |
Research Awards |
Activities
|
Supervised Theses
Teaching Activities |
Student project (Master): Android App Analysis (Project Group)
Student project (Bachelor): BierPool BattleProgrammers
Program Committee Member
Presenting the paper "Scaling Arbitrary Android App Analyses" at ASE 2022's A-Mobile Workshop in Rochester, Michigan (
Presenting the paper "TaintBench: Automatic real-world malware benchmarking of Android taint analyses" at ICSE 2022 (virtually and in-person in Pittsburgh, Pennsylvania) (
Presenting the paper "Jicer: Simplifying Cooperative Android App Analysis Tasks" at SCAM 2021 (virtually) (
Presenting the paper "Together Strong: Cooperative Android App Analysis" at SE 2021 (virtually) in Braunschweig, Germany (
• Artifact Evaluation Committee Member (
Presenting the paper "Do Android taint analysis tools keep their promises?" at SE 2020 in Innsbruck, Austria (
Invited talk: "Android Taint-Analysis Benchmarks: Past, Present and Future" at ECOOPS 2019's BenchWork Workshop in London, United Kingdom (
Presented the paper "Do Android taint analysis tools keep their promises?" at ESEC/FSE 2018 in Orlando, Florida (