Title

Automated Program Understanding Validation

Presenter Information

Rebecca Curtis

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

This document is currently not available here.

Share

COinS
 
Apr 16th, 1:00 PM Apr 16th, 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.