Trusted digital circuits hardware trojan vulnerabilities, prevention and detection - Salmani, Hassan (Springer International Publishing, 2018)