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

2019
Redqueen: Fuzzing with Input-to-State Correspondence

Cornelius Aschermann, Sergej Schumilo, Tim Blazytko, Robert Gawlik, Thorsten Holz - Network and Distributed System Security Symposium (NDSS 2019), San Diego, California, USA, February 2019

2018
Towards Automated Generation of Exploitation Primitives for Web Browsers

Behrad Garmany, Martin Stoffel, Robert Gawlik, Philipp Koppe, Tim Blazytko, Thorsten Holz - Annual Computer Security Applications Conference (ACSAC), San Juan, Puerto Rico, USA, December 2018

2017
Syntia: Synthesizing the Semantics of Obfuscated Code

Tim Blazytko, Moritz Contag, Cornelius Aschermann, Thorsten Holz - USENIX Security Symposium, Vancouver, Canada, August 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)