Dr.-Ing. Tim Blazytko

  • Postdoc - Chair Systems Security
Blazytko, Tim


Ruhr-Uni­ver­si­ty Bo­chum
Chair for Sys­tems Se­cu­ri­ty
Uni­ver­si­täts­stra­ße 150
44780 Bo­chum / Ger­ma­ny

tim.blazytko@rub.de PGP key


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



Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains

Moritz Schlögel, Tim Blazytko, Julius Basler, Fabian Hemmer, Thorsten Holz - European Symposium on Research in Computer Security (ESORICS), Online, October 2021

Aurora: Statistical Crash Analysis for Automated Root Cause Explanation

Tim Blazytko, Moritz Schlögel, Cornelius Aschermann, Ali Abbasi, Joel Frank, Simon Wörner, Thorsten Holz - USENIX Security Symposium, Boston, MA, USA, August 2020

GRIMOIRE: Synthesizing Structure while Fuzzing

Tim Blazytko, Cornelius Aschermann, Moritz Schlögel, Ali Abbasi, Sergej Schumilo, Simon Wörner, Thorsten Holz - USENIX Security Symposium, Santa Clara, CA, USA, August 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

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

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)