Automatic Security Property Generation for Detecting Information-Leaking Hardware Trojans | IEEE Conference Publication | IEEE Xplore