DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click HERE
to register or log in.
Automated Rule Checking For Hardware Security (ARCHS)
[Technical Report, Final Report]
University of Florida Division of Sponsored Research
Pagination or Media Count:
The Automated Rule Checking for Hardware Security ARCHS program aims to develop a comprehensive framework to analyze security vulnerabilities in System-on-Chips SoCs including potential untrusted third-party intellectual property IP from register-transfer level RTL to layout. The objective of ARCHS is to have an extended and holistic solution for the next generation microelectronics by incorporating security properties to the different levels of complex hardware designs. ARCHS focuses on developing security aware properties and rules to systematically identify vulnerabilities at pre-silicon design stages assessing the severity level of vulnerability with design level metrics, rules and threat levels providing design level fixes with automation and integration of tool sets to protect security assets and mitigate security vulnerabilities at early design stages guiding designers to trade off risk vs effort assessment based on the security level.
[A, Approved For Public Release]