Chair of Programming Languages and AI
print
Breadcrumb Navigation
Content

BSc/MSc Theses

This is a (non-exclusive) list of thesis topics currently offered at PLAI. Additionally, other related topics may be available.

Please contact the mentioned person with a transcript of record and highlight all relevant experience related to the topic you are interested in for a BSc or MSc thesis. Also, please take note of the languages the person speaks.

Open

  • MSc Efficient dynamic symbolic execution for finding bugs and/or behavioral changes in node.js/NPM packages Johannes Kinder German speaker English speaker
  • BSc/MSc Analysis and Hardening of Rust Software for Security Oliver Braunsdorf German speaker English speaker
  • BSc/MSc Automatic Modularization of Software Projects for LLM-based Transpilation Oliver Braunsdorf German speaker English speaker
  • BSc Finding Safe Rust Replacements for C Libraries Oliver Braunsdorf German speaker English speaker
  • MSc ML-based Transpilation from C to Rust Oliver Braunsdorf Moritz Dannehl German speaker English speaker
  • BSc Building a Memory-Safety Benchmark Suite for Rust Oliver Braunsdorf German speaker English speaker
  • Optimal Placement of Memory Safety Checks in Control-Flow-Graphs Automatic Modularization of Software Projects for LLM-based Transpilation Oliver Braunsdorf German speaker English speaker

In Progress

  • BSc Detecting Open Source Software in IoT binaries Sebastian Jänich
  • BSc Control-Flow Graph Recovery: Angr vs. Ghidra Sebastian Jänich
  • BSc Fuzzing Testsuite - Exploiting vulnerabilities in a reproducible manner Sebastian Jänich
  • BSc Re-Evaluating Fuzzware for Linux-based firmware Sebastian Jänich
  • BSc Driller Sebastian Jänich
  • BSc FuzzDriver Generation for open-source libraries with ChatGPT Sebastian Jänich
  • BSc Software diversity as dataset augmentation for learning representations of binary code (tbf) Moritz Dannehl
  • BSc Concerning Call Targets in Transformer-based Architectures for Binary Function Modeling Moritz Dannehl
  • MSc Automated black-box adversarial prompting for large language models for Code Johannes Kinder
  • MSc Robust Anomaly Detection in Logs for Industrial Control Systems Johannes Kinder
  • BSc Malware detection in open-source packages using locality-sensitive hashing Matías Gobbi
  • BSc Classifying code modifications in npm packages Matías Gobbi
  • BSc Measuring CodeQL performance against obfuscation techniques Matías Gobbi
  • MSc Detecting malicious code modifications in browser extensions Matías Gobbi
  • MSc Monitoring of the Node Package Manager Matías Gobbi
  • BSc Monitoring of the Chrome Web Store Matías Gobbi
  • BSc Software diversity as dataset augmentation for learning representations of binary code Moritz Dannehl
  • BSc Creating Rich Labels For Binary Functions Using Source Information Moritz Dannehl
  • BSc Re-Evaluation of BinShot Moritz Dannehl
  • MSc Using Classical Machine Learning for Binary Analysis Moritz Dannehl
  • BSc Devising attacks against spectral analysis for clone detection Tristan Benoit
  • BSc Incorporating machine learning into spectral analysis for program clone detection Tristan Benoit
  • BSc Exploring possible functions names normalization for XFL Tristan Benoit
  • MSc Exploring possible features and architectures for DEXTER binary code embedding Tristan Benoit
  • BSc Evaluating and Optimizing the Inference Stage for BCSD Yunru Wang


Last update 08/11/2024

Writing Tips

Archive