Software Engineering Institute

Arie Gurfinkel

Arie Gurfinkel is an SEI alumni employee.

Arie Gurfinkel

All

Tech Publications

Blog Posts

Supervised Learning for Provenance-Similarity of Binaries

October 28, 2014 • Article

By Sagar Chaki, Cory Cohen, Arie Gurfinkel

Binary Function Clustering using Semantic Hashes

October 28, 2014 • Article

By Wesley Jin, Sagar Chaki, Cory Cohen, Arie Gurfinkel, Jeff Havrilla, Chuck Hines, Priya Narasimhan (Carnegie Mellon University)

Recovering C++ Objects From Binaries Using Inter-Procedural Data-Flow Analysis

October 28, 2014 • Article

By Wesley Jin, Cory Cohen, Jeff Gennari, Chuck Hines, Sagar Chaki, Arie Gurfinkel, Jeff Havrilla, Priya Narasimhan (Carnegie Mellon University)

Verifying Evolving Software

October 20, 2014 • Blog Post

By Arie Gurfinkel

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

July 1, 2013 • Technical Report

By Bjorn Andersson, Stephany Bellomo, Lisa Brownsword, Yuanfang Cai (Drexel University), Sagar Chaki, William R. Claycomb, Julie B. Cohen, Peter H. Feiler, Robert Ferguson, Lori Flynn, David P. Gluch, Dennis Goldenson, Arie Gurfinkel, Jeff Havrilla, Chuck Hines, John J. Hudak, Carly L. Huth, Wesley Jin, Rick Kazman, Mary Ann Lapham, James McCurley, John McGregor, David McIntire, Robert Nord, Ipek Ozkaya, Brittany Phillips, Robert W. Stoddard, David Zubrow

More from Arie Gurfinkel

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

July 1, 2013 • Technical Report

By Bjorn Andersson, Stephany Bellomo, Lisa Brownsword, Yuanfang Cai (Drexel University), Sagar Chaki, William R. Claycomb, Julie B. Cohen, Peter H. Feiler, Robert Ferguson, Lori Flynn, David P. Gluch, Dennis Goldenson, Arie Gurfinkel, Jeff Havrilla, Chuck Hines, John J. Hudak, Carly L. Huth, Wesley Jin, Rick Kazman, Mary Ann Lapham, James McCurley, John McGregor, David McIntire, Robert Nord, Ipek Ozkaya, Brittany Phillips, Robert W. Stoddard, David Zubrow

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

April 29, 2013 • White Paper

By Peter H. Feiler, John B. Goodenough, Arie Gurfinkel, Charles Weinstock, Lutz Wrage

Reliability Improvement and Validation Framework

November 1, 2012 • Special Report

By Peter H. Feiler, John B. Goodenough, Charles Weinstock, Arie Gurfinkel, Lutz Wrage

Results of SEI Line-Funded Exploratory New Starts Projects

August 1, 2012 • Technical Report

By Len Bass, Nanette Brown, Gene Cahill, William Casey, Sagar Chaki, Cory Cohen, Dionisio de Niz, David French, Arie Gurfinkel, Rick Kazman, Edwin J. Morris, Brad Myers, Bill Nichols, Robert Nord, Ipek Ozkaya, Raghvinder Sangwan, Soumya Simanta, Ofer Strichman, Peppo Valetto

COVERT: A Framework for Finding Buffer Overflows in C Programs via Software Verification

August 1, 2010 • Technical Report

By Sagar Chaki, Arie Gurfinkel

More from Arie Gurfinkel

Verifying Evolving Software

October 20, 2014 • Blog Post

By Arie Gurfinkel

Regression Verification for Real-time Embedded Software Systems

December 5, 2011 • Blog Post

By Arie Gurfinkel

Regression Verification of Real-time Embedded Software

March 7, 2011 • Blog Post

By Arie Gurfinkel

More from Arie Gurfinkel