Vulnerability Detection using ML, Program Analysis & Quantum Computing
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 software 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.
- Using quantum computing to scale exploit generation and vulnerability detection
When applying, please submit both (1) your CV / Resume and (2) Transcript (unnoficial transcript is acceptable as long as the GPA and list of courses is clearly listed).
Name of research group, project, or lab
Security and Software Engineering research lab
Website
Why join this research group or lab?
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.