Isolating the Register-bank Trojans in General-purpose Microprocessors using Secure Programming

The design process of the embedded electronic devices involves various teams which might allow a malicious user (e.g. designer, manufacturer, etc.) to insert hardware Trojans into the design. This significantly complicates activation and detection of hardware Trojans. Considering possible presence of hardware Trojans their effects can be detrimental to the normal operation of critical systems such as safety, health, transportation and etc. Programming on systems vulnerable to hardware Trojans demands precautions to minimize the risk of the malicious hardware interfering with the normal operation of the system. In this paper, isolation of untrusted components of an embedded system using compiler-based techniques is evaluated. In other words, reported vulnerable functional blocks are excluded in compilation stage so that they are not used at all during the run-time. Simulation results show that the proposed quarantine technique can be efficiently used with reasonable time overhead.

کلیدواژه ها:

Processor ، Secure Programming ، Trojan Isolation