System security
Postdoc
Address:
Ruhr-University Bochum
Faculty of Computer Science
System security
Universitätsstr. 150
D-44801 Bochum
Office Hours: By arrangement
E-Mail: tim.blazytko@rub.de

Courses
Research
formal aspects of reverse engineering and software security static program analysis satisfiability modulo theories (SMT) and SMT solvers bounded model checking program synthesis