Visible to the public Secure Native Binary Executions--2021 Q2Conflict Detection Enabled

Submitted by prasadk on Wed, 07/07/2021 - 4:43pm

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) Develop tools and techniques to evaluate the client-side security properties of binary software, and (b) Understand the challenges in implementing source-level (compiler-based) security techniques at the binary-level and develop new techniques to protect binary software from common classes of security attacks.

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.

Groups: