Angebotene Abschlussarbeiten

Identifying Function Parameters in Binaries

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

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

Betreuer: Ali Abbasi
Beginn: as soon as possible
Seite: