Trusted Digital Circuits: Hardware Trojan Vulnerabilities, Prevention and Detection [Paperback]