Efficient Hardware Trojan Detection with Differential Cascade Voltage Switch Logic. (11th May 2014)