Malware in Silicon

Malware in Silicon – an ongoing study on malware in hardware components – shows that present approaches to the detection of hardware Trojans mainly focus on the manufacturing phase of the hardware design and production process. By definition, the design process mainly is trusted. Recent detection methods rely on this assumption. However, in terms of economic sense, it would be much more realistic to assume the design process to be untrusted, e.g. by assuming a malicious hardware designer. The aim of this project is to develop tailored methods of formal modeling and verification to apply to the hardware design process which enables us to detect hardware Trojans in the design process and/or to prove the design trusted. Also, the design process should be secured by formulating a Secure Development Life Cycle.

By continuing to use the site, you agree to the use of cookies. more information

The cookie settings on this website are set to "allow cookies" to give you the best browsing experience possible. If you continue to use this website without changing your cookie settings or you click "Accept" below then you are consenting to this.