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.