The security risks posed by electronics are numerous. There typically a variety of risk-reducing countermeasures for given system or across an enterprise. Each countermeasure is associated with both level risk reduction and its lifecycle costs. Given budgetary constraints, managers systems engineers must determine what combinations cost-effectively maximize reduction, metrics best guide the inv...

We describe the security verification of OpenTitan. illustrate how information flow tracking turns human knowledge assets and requirements into formal properties verified using Cycuity’s Radix. The uncovered weaknesses helped produce hardware fixes to eliminate vulnerabilities.

Nowadays, bulk of the designers prefer to outsource some parts of their design and fabrication process to the third-part companies due to the reliability problems, manufacturing cost and time-to-market limitations. In this situation, there are a lot of opportunities for malicious alterations by the off-shore companies. In this paper, we proposed a new placement algorithm that hinders the hardwa...