News Story
Qu and Wu Awarded AFOSR Grant for Trusted Computing System Design

Prof. Gang Qu and Prof. Min Wu
With the increase of design complexity and outsourcing in software and semiconductor sectors, it becomes inevitable to have the design or part of it developed, implemented, or fabricated by multiple parties. Trust has become an important design concern, particularly for defense and homeland security related computing devices, where ensuring that the design does not contain any undesired functionality is critical. This research investigates a novel information hiding framework based on constraint manipulation techniques to facilitate the verification of the non-existence of undesired functionality in the system.
As a vital component of the Air Force Research Laboratory, AFOSR manages the basic research investment for the U.S. Air Force. The AFOSR seeks to create revolutionary scientific breakthrough and produce world-class, militarily significant, and commercially valuable research outcome.
Published August 9, 2010