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.