BlueRISC, Inc. STTR Phase I Award, June 2019

BlueRISC's proposed solution takes the form of an automated toolkit that is able to analyze an FPGA bitstream with respect to exploitability. The solution relies on an FPGA-agnostic framework for automatically reverse-engineering an FPGA-bitstream into an intermediate representation (IR). This IR is FPGA agnostic and enables a program-analytic framework for extracting a fundamental FPGA-centric Vulnerability Model which can be visualized in the form of an FPGA Exploitability Graph. The proposed toolkit will also provide remediation guidance.