speaker

Tim Blazytko

Tim Blazytko

Ruhr-Universit├Ąt Bochum

Tim Blazytko is a security researcher at the Ruhr-Universit├Ąt Bochum. He explores the application of formal methods to binary program analysis and automatic exploitation generation. While using constraint solving for input crafting in prior projects, his current research focuses on program synthesis for automated reverse engineering. Alongside his work as a PhD student, Tim performs security audits and malware analysis as a freelancer.



sessions with this speaker