An anti-trojans design approach based on activation probability analysis | IEEE Conference Publication | IEEE Xplore