Felix Pauck
I am a PhD student in the Specification and Modelling of Software Systems research group at the Paderborn University in Germany. My research focuses on cooperative (static and dynamic) Android app analysis.

Research Projects
    Sneak Peek:
  • AQL 2.0 - All tools refreshed!
  • Static Android App Slicing (Example slicing Graph - Hint: Zoom out)
  • Malware Benchmarking

AQL-SystemThe 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/CoDiDroid

AQL-SystemAlong with the paper Together Strong: Cooperative Android App Analysis (coming soon..) 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

ReproDroidReproDroid, 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

AQL-SystemThe 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
(Generated from: RIS, Also on: DBLP, Google Scholar)
  • 2021:
    • ISSTA 2021: Artifact Evaluation Committee Member (Link)

    • Presenting the paper "Together Strong: Cooperative Android App Analysis" at SE 2021 (virtually) in Braunschweig, Germany (Link)
  • 2020:
    • • Artifact Evaluation Committee Member (Link)
      • Doctoral Symposium Committee Member (Link)

    • Presenting the paper "Do Android taint analysis tools keep their promises?" at SE 2020 in Innsbruck, Austria (Link)

  • 2019:
    • Google Summit: Google Compiler and Programming Language Summit 9th - 11th December 2019 in Munich, Germany

    • ASE 2019 Presenting the paper "Android App Merging for Benchmark Speed-Up and Analysis Lift-Up" at ASE 2019's A-Mobile Workshop in San Diego, California (Link)

    • ESEC/FSE 2019 Presented the paper "Together Strong: Cooperative Andriod App Analysis" at ESEC/FSE 2019 in Tallinn, Estonia (Link)

    • Invited talk: "Android Taint-Analysis Benchmarks: Past, Present and Future" at ECOOPS 2019's BenchWork Workshop in London, United Kingdom (Link)

    • Software Engineering Forschungsmethoden Training at Schloss Dagstuhl in Wadern, Germany (Link 1, Link 2)

  • 2018:
    • Presented the paper "Do Android taint analysis tools keep their promises?" at ESEC/FSE 2018 in Orlando, Florida (Link)
    • Participated in the ROSE Festival at ESEC/FSE 2018 in Orlando, Florida (Link)
Teaching Activities
  • 2020/21:
    • Seminar: Software Analysis (Link)
    • Seminar:
      Software Verification (Link)
    • Model Checking (Link)

  • 2019/20:
    • Software Analysis (Link)
    • Project Group: BANANA (Link)

  • 2018/19:
    • Modeling (Link)
    • Seminar:
      Android App Analysis (Link)

  • 2017/18:
    • Software Analysis (Link)
Student Projects

A3 A3 Student project (Master): Android App Analysis (Project Group)
One part of the masters program at the paderborn university is to participate in a project group. In such a group 5 to 10 students will develop over 1 year a piece of software together. In case of the A³ project group it is an Android App Analysis tool. We started in the summer term of 2015 and finished in the winter term 2015/16. In this period of time 9 poeple have been working together and the result is PAndA².
BP Student project (Bachelor): BierPool BattleProgrammers

Open Calendar