Publication | Closed Access
Overcoming an Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically
327
Citations
18
References
2010
Year
Unknown Venue
Hardware TrojanEngineeringInformation SecurityVerificationInformation ForensicsSoftware AnalysisFormal VerificationHardware Verification LanguagesHardware SecurityComputing BaseSecure ComputingHardware Security SolutionSuspicious HardwareHardware VerificationUnused Circuit IdentificationRuntime VerificationOperating System SecurityComputer EngineeringComputer ScienceData SecuritySoftware SecurityTrusted PlatformProgram AnalysisSoftware TestingRuntime Component
Hardware complexity has enabled new potent hardware‑based security threats, shifting the security arms race beyond software. This paper proposes a hybrid hardware/software strategy to defend against malicious hardware. BlueChip uses design‑time unused circuit identification to excise suspicious circuitry and replaces it with exception‑generation hardware, whose software handler emulates the instruction to maintain forward progress. Experiments show BlueChip blocks all evaluated hardware attacks with only a modest runtime overhead.
The computer systems security arms race between attackers and defenders has largely taken place in the domain of software systems, but as hardware complexity and design processes have evolved, novel and potent hardware-based security threats are now possible. This paper presents a hybrid hardware/software approach to defending against malicious hardware. We propose BlueChip, a defensive strategy that has both a design-time component and a runtime component. During the design verification phase, BlueChip invokes a new technique, unused circuit identification (UCI), to identify suspicious circuitry-those circuits not used or otherwise activated by any of the design verification tests. BlueChip removes the suspicious circuitry and replaces it with exception generation hardware. The exception handler software is responsible for providing forward progress by emulating the effect of the exception generating instruction in software, effectively providing a detour around suspicious hardware. In our experiments, BlueChip is able to prevent all hardware attacks we evaluate while incurring a small runtime overhead.
| Year | Citations | |
|---|---|---|
Page 1
Page 1