Angebotene Abschlussarbeiten
On the Practicality of Input Crafting with Symbolic Execution on Binary Code
Betreuer: Behrad GarmanyBeginn: as soon as possible
Finding Custom Heap Allocators
Betreuer: Andre PawlowskiBeginn: as soon as possible
Sandboxing Code Execution Functions in the PHP Interpreter
Betreuer: Andre PawlowskiBeginn: as soon as possible
On the Impact of Flag Virtualization in Virtual Machines
Betreuer: Moritz ContagBeginn: immediately
Symbol Recovery for Engine Control Unit Firmware
Betreuer: Moritz ContagBeginn: as soon as possible
Tracking the Evolution of Modern Car Firmware
Betreuer: Moritz ContagBeginn: as soon as possible
QNX 7.0 Real-Time Operating System Micro-Kernel Coverage-Based Fuzzing
Betreuer: Ali AbbasiBeginn: as soon as possible
Tackling 3rd Generation Code-Reuse Attacks
Betreuer: Moritz Contag, Andre PawlowskiBeginn: ab sofort
Combining sampled partial data flows to recognize function similarity
Betreuer: Jannik PewnyBeginn: ab sofort
Modelling CPUs in SMT solvers
Betreuer: Tim BlazytkoBeginn: as soon as possible
Gray Box Fuzzing for Web Security
Betreuer: Cornelius AschermannBeginn: as soon as possible
Identifying Function Parameters in Binaries
Betreuer: Cornelius AschermannBeginn: as soon as possible
Bounded model checking for ROP gadget chaining
Betreuer: Tim BlazytkoBeginn: as soon as possible
Comparative evaluation of intermediate languages
Betreuer: Tim BlazytkoBeginn: as soon as possible
Security-Related Code Quality Metrics in Java Source Code
Betreuer:Beginn: as soon as possible
Seite: