Randomized encoding of combinational and sequential logic for resistance to hardware Trojans رسالة دكتوراه