icon-carat-right
menu
search
cmu-wordmark
Carnegie Mellon University
Software Engineering Institute
About
Our Work
Publications
News and Events
Education and Outreach
Careers
Home
Publications
Authors
Arie Gurfinkel
Arie Gurfinkel
Arie Gurfinkel is an SEI alumni employee.
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
,
Arie Gurfinkel
,
Charles Weinstock
,
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