Key Research Highlights > Cybersecurity > Symbolic Taint
Analysis
Abhik ROYCHOUDHURY Zhenkai LIANG |
Symbolic Taint Analysis
Objective To address software security vulnerabilities like SQL injection. Results We have met the objectives of this project through the development and use of analysis methods to detect the impact of program inputs on applications to explain potential software attacks, thus enhancing software security. We use software analysis and symbolic execution methods to generate and explain potential attack scenarios without actually encountering the attacks. Additionally, we conduct infrastructure analysis to reveal attack scenarios prior to the deployment of an application. |