This project investigates merge conflicts at this semantic level. It aims to characterize (1) the semantic changes represented by ours and theirs, (2) the relationship between these concurrent changes, and (3) how the final resolution consolidates them. The result should be an empirically grounded taxonomy and an annotated dataset of real-world merge conflicts.
Below, you will find current topics that can be worked in the context of a , a Bachelor’s or a Master’s Thesis. The context indicates the scope of the work, and the keywords give you further information about the topic and its domain.
Mind that there are multiple pages, you can navigate them using the buttons on the bottom.
In this reading seminar (Lesegruppe), students will explore how Bitcoin works as a peer-to-peer electronic cash system and investigate selected protocol features, proposed changes, and wallet designs in depth.
Modern Android applications are increasingly built using hybrid frameworks such as React Native, Flutter, and Cordova, allowing developers to deploy apps across multiple platforms with a single codebase. Like native apps, hybrid applications heavily rely on Third-Party Libraries (TPLs) to accelerate development and integrate functionalities like analytics, advertising, and UI components. However, TPLs can introduce severe security vulnerabilities and privacy risks. While numerous techniques exist to detect TPLs in native Android applications (analyzing Dalvik bytecode), identifying TPLs in hybrid apps remains a significant challenge. This project aims to bridge this gap by investigating the structure of hybrid apps and developing a novel approach to accurately detect embedded TPLs within their non-native components (e.g., JavaScript bundles, Dart binaries).
The idea of this project is to extend an exsting dataset for Android apps and their third-party libraries. Our current research relies on a foundational dataset of Android hybrid applications to analyze Third-Party Library (TPL) usage and associated security risks. The dataset contains currently Flutter, .NET MAUI, React Native, and Apache Cordova apps and we want to extend this with additional frameworks, such as Ionic or Unity. While we already maintain an automated data acquisition pipeline, this seminar project focuses on extending its capabilities to systematically crawl, download, and build applications built with additional modern hybrid frameworks (such as Ionic, Unity, etc.) from public repositories (e.g., GitHub, Gitlab, etc.). Crucially, this project will also expand the pipeline and dataset to include purely native Android applications. This native inclusion will serve as a vital control group, enabling comparative benchmarks that highlight architectural, performance, and security differences between native and cross-platform paradigms.
This project uses small quadcopter drones, open-source research platforms known as Crazyflies, which are light enough to fly safely inside an ordinary room. Since GPS is unavailable indoors, position has to be established by other means, and these drones rely on a room-tracking system called Bitcraze Lighthouse. Small base stations mounted around the flight area, originally developed for virtual-reality headsets, sweep invisible infrared light across the space, while a receiver board on each drone detects these sweeps and computes its own position onboard many times per second. With four base stations placed around the room, the same calibrated setup can track a single drone or a small group.