On the Detection and Circumvention of Bitstream-level Trojans in FPGAs | IEEE Conference Publication | IEEE Xplore