« Tech Talk: Control-flow Graph Guided Exploration in DDT | Main | cabal-dev: sandboxed development builds for Haskell »

Galois awarded AFRL/OSD project in hardware security

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

Reader Comments

There are no comments for this journal entry. To create a new comment, use the form below.

PostPost a New Comment

Enter your information below to add a new comment.

My response is on my own website »
Author Email (optional):
Author URL (optional):
Some HTML allowed: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <code> <em> <i> <strike> <strong>