Angebotene Abschlussarbeiten

Finding Custom Heap Allocators

Betreuer: Andre Pawlowski
Beginn: as soon as possible

Sandboxing Code Execution Functions in the PHP Interpreter

Betreuer: Andre Pawlowski
Beginn: as soon as possible

Modelling CPUs in SMT solvers

Betreuer: Tim Blazytko
Beginn: as soon as possible

Gray Box Fuzzing for Web Security

Betreuer: Cornelius Aschermann
Beginn: as soon as possible

Bounded model checking for ROP gadget chaining

Betreuer: Tim Blazytko
Beginn: as soon as pos­si­ble

Comparative evaluation of intermediate languages

Betreuer: Tim Blazytko
Beginn: as soon as pos­si­ble

Privacy and Security Analysis for Amazons Alexa

Betreuer: Martin Degeling
Beginn: asap

On the Impact of Flag Virtualization in Virtual Machines

Betreuer: Moritz Contag
Beginn: immediately

Symbol Recovery for Engine Control Unit Firmware

Betreuer: Moritz Contag
Beginn: as soon as possible
Seite: