Hardware Trojan detection via rewriting logic | Publicación