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

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

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
Seite: