Describir: Detecting Hardware Trojans with Gate-Level Information-Flow Tracking.