A Lightweight Security Checking Module to Protect Microprocessors against Hardware Trojan Horses | Publicación