Defeating hardware Trojan in microprocessor cores through software obfuscation. - Andrea Marcelli; Ernesto Sánchez 001; Giovanni Squillero; Muhammad Usman Jamal; Afnan Imtiaz; Simone Machetti; Filippo Mangani; Paolo Monti 003; Davide Pola; Alessandro Salvato; Michele Simili (LATS, 2018)