I am a vast System Security and Software System Development and have been researching topics for them since 2008. I am interested in researching on following topics:

 0. Low-Level Development
 1. Software Model Checking
 2. Software Runtime Verification
 3. Software Vulnerability Research
 4. Application (Binary) Synthesis-Analysis
 5. Reliable Exploit Development for red teaming

I am mainly working on the Windows operating system environment, but recently I have been involved with the Linux operating system too.