Article "On Modeling and Detecting Trojans in Instruction Sets" accepted for publication in the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.