Research focus
About the research
What software vulnerabilities can compiler and formal-method techniques detect and mitigate in large codebases?
Read the full research overview
The Security of Software (SOS) Group applies compiler, programming language, and formal method techniques to improving software security. The group pursues projects in software security, programming languages, and program verification with an emphasis on automated analysis frameworks. Researchers develop formal-methods-based analyses and compiler transformations to identify and harden vulnerable code paths. Ongoing work includes tool development and evaluation using benchmarks and security-relevant codebases.
Selected publications
Publication highlights haven’t been added. Explore the official research profile ↗
People & alumni
Team details haven’t been added. See the lab’s website for its current members.
Alumni details haven’t been added. Check the lab’s official website.
Sources & listing information
Find Research Labs maintains this page using public sources. The faculty member, lab, and university have not claimed or approved this listing. Listing a lab does not indicate endorsement, partnership, or a recruiting opportunity.
Request a correction or removal ↗ · About directory listings