On the optimization of Software Obfuscation against Hardware Trojans in Microprocessors. - Luca Cassano; Elia Lazzeri; Nikita Litovchenko; Giorgio Di Natale (DDECS, 2022)