My research interests span malware analysis and malware detection, and, program analysis and formal methods in general. I like to work at the intersection of theory and applications, and my research vision is to develop new ways of reasoning about malicious software using formal methods. I often enjoy reverse engineering and vulnerability analysis, meaning problem solving in areas of malware analysis, reverse engineering obfuscated code and playing CTFs. In relation to my research I develop tools for binary analysis, both relying on static and dynamic techniques.
I will be visiting Prof. Heng Yin at UC, Riverside in the academic year 2016-2017.
For source code, please visit: https://github.com/DavidKorczynski