icon-carat-right menu search cmu-wordmark
Carnegie Mellon University

Arie Gurfinkel

Arie Gurfinkel is an SEI alumni employee.

Arie Gurfinkel

Results of SEI Line-Funded Exploratory New Starts Projects: FY 2012

Four Pillars for Improving the Quality of Safety-Critical Software-Reliant Systems

Reliability Improvement and Validation Framework

Results of SEI Line-Funded Exploratory New Starts Projects

COVERT: A Framework for Finding Buffer Overflows in C Programs via Software Verification
• Technical Report
By Sagar Chaki , Arie Gurfinkel
More from Arie Gurfinkel