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.
What software vulnerabilities can compiler and formal-method techniques detect and mitigate in large codebases? 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.
Use the official faculty profile or website for the complete publication record.
People
Current and previous researchers
Alumni details have not been added.
See the official lab website for its alumni record. The lab can claim this profile to add previous researchers and their destinations.
Data provenance
Sources
This profile is curated by Find Research Labs from the public sources below. Listing information may change; consult the official sources for current details. Recruiting availability is unconfirmed.
