Automated Rule Checking For Hardware Security (ARCHS)

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 28, 2022
Accession Number
AD1183528

Entities

People

  • Nusrat F. Dipu

Organizations

  • University of Florida

Tags

Communities of Interest

  • Cyber
  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Algorithms
  • Automatic
  • Coding
  • Computer Access Control
  • Computer Programming
  • Databases
  • Debugging
  • Demographic Cohorts
  • Detection
  • Detectors
  • Extraction
  • Fault Injection Attacks
  • Field Programmable Gate Arrays
  • Frequency
  • Graphical User Interface
  • Identification
  • Intellectual Property
  • Literature Surveys
  • Logic
  • Logic Gates
  • Military Research
  • Probability

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Cybersecurity.
  • Integrated Circuit Design and Technology.

Technology Areas

  • Microelectronics