More Distinguished Researchers
More researchers on the field
More researchers belonging to the lab/center/dept
Research on vulnerability discovery and assessment by applying advanced program analysis techniques, such as taint analysis or symbolic execution, to real-world problems in practical fields. My goal is to realize fully automated analysis technologies to find vulnerabilities and generate their exploit code.