Angebotene Abschlussarbeiten
On the Practicality of Input Crafting with Symbolic Execution on Binary Code
Betreuer: Behrad GarmanyBeginn: as soon as possible
Finding Custom Heap Allocators
Betreuer: Andre PawlowskiBeginn: as soon as possible
Sandboxing Code Execution Functions in the PHP Interpreter
Betreuer: Andre PawlowskiBeginn: as soon as possible
On the Impact of Flag Virtualization in Virtual Machines
Betreuer: Moritz ContagBeginn: immediately
Symbol Recovery for Engine Control Unit Firmware
Betreuer: Moritz ContagBeginn: as soon as possible
Tracking the Evolution of Modern Car Firmware
Betreuer: Moritz ContagBeginn: as soon as possible
QNX 7.0 Real-Time Operating System Micro-Kernel Coverage-Based Fuzzing
Betreuer: Ali AbbasiBeginn: as soon as possible
Tackling 3rd Generation Code-Reuse Attacks
Betreuer: Moritz Contag, Andre PawlowskiBeginn: ab sofort
Combining sampled partial data flows to recognize function similarity
Betreuer: Jannik PewnyBeginn: ab sofort
Modelling CPUs in SMT solvers
Betreuer: Tim BlazytkoBeginn: as soon as possible