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

Smart Home Systems Architecture Analyses

Betreuer: Andre Pawlowski
Beginn: as soon as possible

Attacks against DNS infrastructure & defenses

Betreuer: Teemu Rytilahti
Beginn: as soon as possible

IP squatting in the cloud

Betreuer: Teemu Rytilahti
Beginn: as soon as possible

Information Leak Detection via Dual Execution of a Script Interpreter

Betreuer: Andre Pawlowski
Beginn: as soon as possible

VTable Hierarchy Reconstruction on ARM

Betreuer: Andre Pawlowski
Beginn: as soon as possible
Seite: