I work on program analysis, particularly binary analysis (e.g., binary code, byte code, or firmware code) and symbolic execution, and their applications for vulnerability discovery, malware analysis, and code/execution hardening. Sometimes, I also use program analysis for other studies such as measurement in order to gain insights and understanding on the security problems of interest.

Before applying for this opportunity you need to submit your online profile. Click the button below to continue.