Secure Native Binary Executions--October 2020 Q3

PI(s): Prasad Kulkarni

HARD PROBLEM(S) ADDRESSED:
Scalability and Composability, Security Metrics

PUBLIC ACCOMPLISHMENT HIGHLIGHTS:

Our overall project goal is to develop a high-performance framework for client-side security assessment and enforcement for binary software.

In this quarter our team at the University of Kansas focused on two projects: (a) Build an effective hybrid (combined static-dynamic) reverse engineering and program instrumentation framework to harden software binaries on the client-side to protect them from different categories of memory-related vulnerabilities, and (b) build an infrastructure for client-side security assessment for binaries.

Dr. Jantz and his team at the University of Tennessee (sub-contract) are developing custom tools to study the effectiveness of different strategies for making binary programs more secure.

PUBLICATIONS FROM THE QUARTER:

None this quarter