Dr.-Ing. Tim Blazytko

System security

Post­doc

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

    for­mal as­pects of re­ver­se en­gi­nee­ring and soft­ware se­cu­ri­ty sta­tic pro­gram ana­ly­sis sa­tis­fia­bi­li­ty mo­du­lo theo­ries (SMT) and SMT sol­vers boun­ded model che­cking pro­gram syn­the­sis


    Publications