HardObfSec: Measuring Hardware Obfuscation Security at RTL | IEEE Conference Publication | IEEE Xplore