Efficient Control-Flow Subgraph Matching for Detecting Hardware Trojans in RTL Models

Luca Piccolboni, Alessandro Menon, Graziano Pravadelli. Efficient Control-Flow Subgraph Matching for Detecting Hardware Trojans in RTL Models. ACM Trans. Embedded Comput. Syst., 16(5), 2017. [doi]

Abstract

Abstract is missing.