Arie Gurfinkel
Arie Gurfinkel is an SEI alumni employee.
Supervised Learning for Provenance-Similarity of Binaries
• Article
By Sagar Chaki , Cory Cohen , Arie Gurfinkel
Binary Function Clustering using Semantic Hashes
• 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
• Article
By Wesley Jin , Cory Cohen , Jeff Gennari , Chuck Hines , Sagar Chaki , Arie Gurfinkel , Jeff Havrilla , Priya Narasimhan (Carnegie Mellon University)
Verifying Evolving Software
• Blog Post
Results of SEI Line-Funded Exploratory New Starts Projects: FY 2012
• 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
Results of SEI Line-Funded Exploratory New Starts Projects: FY 2012
• 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
• White Paper
By Peter H. Feiler , John B. Goodenough , Arie Gurfinkel , Charles Weinstock , Lutz Wrage
Reliability Improvement and Validation Framework
• Special Report
By Peter H. Feiler , John B. Goodenough , Arie Gurfinkel , Charles Weinstock , Lutz Wrage
Results of SEI Line-Funded Exploratory New Starts Projects
• 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