Designing Stealthy Trojans with Sequential Logic: A Stream Cipher Case Study. - Mukesh Reddy Rudra; Nimmy Anna Daniel; Varun Nagoorkar; David H. K. Hoe (DAC, 2014)