The project "Malware in Silicon 2" deals with the formalized detection of hardware trojans in integrated circuits.