CSE - Vulnerability Detection using ML & Program Analysis
Students will be working on research projects under the umbrella of security and software engineering as part of S2E research lab: https://s2e-lab.github.io/.
The S2E lab has several main ongoing research projects related to:
- Developing novel program analysis techniques to identify vulnerabilities within code commits (i.e., verify whether a code change will introduce a new vulnerability in production).
- Relying on the power of Large Language Models (LLMs), such as ChatGPT and GitHub Copilot, to generate unit tests for security features.
- Enhancing the code generated by LLMs such that it is not only functionally correct, but also free of vulnerabilities.
Students engaged on this project will help design and implementing novel techniques using Python and/or Java.
Joining this lab means working alongside other graduate and undergraduate students to build cutting-edge techniques to make software systems more secure. You'll have the opportunity to work on practical software security challenges, contributing tools and methods that benefit both academia and industry.