Galois has been selected by AFRL/OSD for a Phase I Small Business Innovative Research (SBIR) award to develop countermeasures against malicious hardware. In this project, Galois will address the class of hardware threats known as “deterministically triggered trojans”, and develop tools that inhibit malicious hardware activation by applying attack incompatibility techniques.
This effort builds on Galois’ experience in both the Active Defense and Domain Specific Language research programs.
For more information, please contact the lead investigator, David Burke