M. Sc. Tim Blazytko

  • Research Assistant - 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

Room
ID 2/449
Phone:
(+49)(0)234 / 32 - 29916
Fax:
(+49)(0)234 / 32 - 08695
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

Projects

Research Training Group Ubicrypt

Courses

Publications

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)