Dr.-Ing. Tim Blazytko

  • Postdoc - Chair Systems Security
Blazytko, Tim

Address

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

Email:
tim.blazytko@rub.de PGP key

Research

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

Courses

Publications

2021
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

2020
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

2019
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

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)