Senior Design Team sdmay21-10 • Dynamic Programming Based FPGA Hosted Control-Flow Integrity (CFI)
Problem Provided:
Control-Flow integrity (CFI) is an important attribute of a program execution in cybersecurity engineering. CFI means that during the
program execution, a control flow edge that is not part of the program's control flow graph (CFG) should not be taken.
This project entails developing a dynamic programming based model of CFI based on some CFG attributes. An additional technique is a recent paper that solves dynamic programming on an
FPGA 2-D array where delay stacking naturally selects an optimal solution. We will combine the two techniques to
develop a control flow integrity engine.