Efficient Control-Flow Subgraph Matching for Detecting Hardware Trojans in RTL Models. - Luca Piccolboni; Alessandro Menon; Graziano Pravadelli (ACM Trans. Embed. Comput. Syst., 2017)