6th European Conference - Academic Conferences

Michael Bilzor
Figure 1: A taxonomy of malicious inclusions, modified slightly from (Tehranipoor 2010)
Table 1: Processor circuit type, with some associated MI mitigation and detection techniques
Circuit Type Detection/Mitigation Technique
Control Flow Control Flow Execution Monitor
(subject of our experiments)
Chip Control, Test, and Debug Keep-Alive Protections
Data Paths Datapath Integrity Verification
Memory Storage and Retrieval Load/Store Verification
Arithmetic and Logic Computation Arithmetic/Logic Verification
In Figure 2, we update the malicious inclusion taxonomy from Figure 1, and associate each MI action
type with a matching detection or mitigation technique:
Figure 2: Malicious inclusion taxonomy, with associated mitigation and detection methods
290