Angebotene Abschlussarbeiten

Tackling 3rd Generation Code-Reuse Attacks

Supervision: Moritz Contag
Start date: ab sofort

Combining sampled partial data flows to recognize function similarity

Supervision: Jannik Pewny
Start date: ab sofort

Modelling CPUs in SMT solvers

Supervision: Tim Blazytko
Start date: as soon as possible

Gray Box Fuzzing for Web Security

Supervision: Cornelius Aschermann
Start date: as soon as possible

Identifying Function Parameters in Binaries

Supervision: Cornelius Aschermann
Start date: as soon as possible

Bounded model checking for ROP gadget chaining

Supervision: Tim Blazytko
Start date: as soon as pos­si­ble

Comparative evaluation of intermediate languages

Supervision: Tim Blazytko
Start date: as soon as pos­si­ble

Security-Related Code Quality Metrics in Java Source Code

Supervision:
Start date: as soon as possible

Privacy and Security Analysis for Amazons Alexa

Supervision: Martin Degeling
Start date: asap

Measuring the Privacy Implications of "Tracking Walls"

Supervision: Christine Utz
Start date: as soon as possible

On the Impact of Flag Virtualization in Virtual Machines

Supervision: Moritz Contag
Start date: immediately

Symbol Recovery for Engine Control Unit Firmware

Supervision: Moritz Contag
Start date: as soon as possible

Tracking the Evolution of Modern Car Firmware

Supervision: Moritz Contag
Start date: as soon as possible

QNX 7.0 Real-Time Operating System Micro-Kernel Coverage-Based Fuzzing

Supervision: Ali Abbasi
Start date: as soon as possible

Improving Coverage Guided Fuzzing for Programmable Logic Controllers

Supervision: Ali Abbasi
Start date: as soon as possible

On the Practicality of Input Crafting with Symbolic Execution on Binary Code

Supervision: Behrad Garmany
Start date: as soon as possible

Finding Custom Heap Allocators

Supervision: Andre Pawlowski
Start date: as soon as possible

Sandboxing Code Execution Functions in the PHP Interpreter

Supervision: Andre Pawlowski
Start date: as soon as possible
Page: