Automated Program Understanding Validation
Department
Electrical and Computer Engineering
Major
Computer Engineering
Research Advisor
Tauritz, Daniel R.
Advisor's Department
Computer Science
Funding Source
Sandia National Laboratories
Abstract
This proposed research is concerned with automating the validation process for binary analysis program understanding tools. These tools are employed to identify the semantic functionalities of computer programs based on static analysis of their binary code without actually executing them. Program understanding is of vital importance to gain situational awareness in computing networks, which in turn is crucial to obtaining security of cyber space. Currently, there is no available means to perform automated validation of the accuracy of program understanding tools, requiring extremely labor intensive manual validation employing necessarily very limited program test sets. This research aims to fill the void by creating an automated validation approach for program understanding tool accuracy.
Biography
Rebecca is currently a senior in Computer Engineering, an Undergraduate Research Assistant in the Natural Computation Laboratory, and will be interning at Sandia National Laboratories this summer in the Center for Cyber Defenders. She was previously a grader for Discrete Mathematics for Computer Science (CompSci 128). Rebecca hopes to continue her research as a Master’s student in Computer Science at S&T in Fall Semester 2014.
Research Category
Research Proposals
Presentation Type
Poster Presentation
Document Type
Poster
Location
Upper Atrium/Hall
Presentation Date
16 Apr 2014, 1:00 pm - 3:00 pm
Automated Program Understanding Validation
Upper Atrium/Hall
This proposed research is concerned with automating the validation process for binary analysis program understanding tools. These tools are employed to identify the semantic functionalities of computer programs based on static analysis of their binary code without actually executing them. Program understanding is of vital importance to gain situational awareness in computing networks, which in turn is crucial to obtaining security of cyber space. Currently, there is no available means to perform automated validation of the accuracy of program understanding tools, requiring extremely labor intensive manual validation employing necessarily very limited program test sets. This research aims to fill the void by creating an automated validation approach for program understanding tool accuracy.
