Accession Number:

AD1183528

Title:

Automated Rule Checking For Hardware Security (ARCHS)

Descriptive Note:

[Technical Report, Final Report]

Corporate Author:

University of Florida Division of Sponsored Research

Personal Author(s):

• Dipu, Nusrat F.

Report Date:

2022-10-28

Pagination or Media Count:

43

Abstract:

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.

Descriptors:

• intellectual property
• air force
• coding
• debugging
• detectors
• air force research laboratories
• computer programming
• field programmable gate arrays
• graphical user interface
• literature surveys
• algorithms
• computer access control
• databases
• demographic cohorts
• identification
• logic gates
• military research

Subject Categories:

• Computer Hardware
• Computer Systems Management and Standards

Distribution Statement:

[A, Approved For Public Release]