M. Sc. Tim Blazytko

  • Wissenschaftliche/r Mitarbeiter/in - Lehrstuhl Systemsicherheit
Blazytko, Tim

Adresse

Ruhr-Uni­ver­si­tät Bo­chum
Lehr­stuhl für Sys­tem­si­cher­heit
Uni­ver­si­täts­stras­se 150
44780 Bo­chum

Raum
ID 2/449
Telefon:
(+49)(0)234 / 32 - 29916
Fax:
(+49)(0)234 / 32 - 08695
E-Mail:
tim.blazytko@rub.de PGP Schlüssel

Forschung

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

Projekte

Research Training Group Ubicrypt

Veröffentlichungen

2017
Towards Automated Discovery of Crash-Resistant Primitives in Binaries

Benjamin Kollenda, Enes Goktas, Tim Blazytko, Philipp Koppe, Robert Gawlik, R.K. Konoth, Cristiano Giuffrida, Herbert Bo, Thorsten Holz - IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)