Jaeseung Choi | Interests Software security, software testing, static analysis |
Research Interests My research goal is to secure software by automatically finding security bugs lurking in a program. Software is everywhere nowadays, and bugs in such software may cause serious security issues in the computing system. Due to the increasing size and complexity of modern programs, there is a growing need to automate the bug detection process. In Information Security Lab, we leverage various software analysis and testing techniques to detect security bugs. In particular, we integrate static analysis, fuzz testing, and symbolic execution to realize an effective bug-finding technique. |