Skip to:

Implementation, Verification, and Testing of the US Army Patented OS Friendly Microprocessor Architecture: A Full System Cycle-Accurate Simulator Verified on an FPGA and a Testing Benchmark Suite

We are proposing to implement, verify and test the US Army patented “OS Friendly Architecture” (OSFA) which enforce hardware isolation of exchanges across shared boundaries in a way that such exchanges will raise hardware traps preventing attacks. We will implement OSFA in a full system cycle-accurate environment, and will verify the implementation via an FPGA implementation using existing open soft cores. As part of the project, we will also develop a benchmark suite that will test the efficacy of the OSFA to prevent the attacks it is designed to thwart.