High-Level Synthesis of Benevolent Trojans | IEEE Conference Publication | IEEE Xplore