A Framework for Automated Exploration of Trojan Attack Space in FPGA Netlists | IEEE Journals & Magazine | IEEE Xplore