Das Projekt "Malware in Silicon 2" befasst sich mit dem formalen Aufspüren von Hardeware Trojanern in Integrierten Schaltungen.