Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Reusing Verification Assertions as Security Checkers for Hardware Trojan
  Detection   Globalization in the semiconductor industry enables fabless design houses to
reduce their costs, save time, and make use of newer technologies. However, the
offshoring of Integrated Circuit (IC) fabrication has negative sides, including
threats such as Hardware Trojans (HTs) - a type of malicious logic that is not
trivial to detect. One aspect of IC design that is not affected by
globalization is the need for thorough verification. Verification engineers
devise complex assets to make sure designs are bug-free, including assertions.
This knowledge is typically not reused once verification is over. The premise
of this paper is that verification assets that already exist can be turned into
effective security checkers for HT detection. For this purpose, we show how
assertions can be used as online monitors. To this end, we propose a security
metric and an assertion selection flow that leverages Cadence JasperGold
Security Path Verification (SPV). The experimental results show that our
approach scales for industry-size circuits by analyzing more than 100
assertions for different Intellectual Properties (IPs) of the OpenTitan
System-on-Chip (SoC). Moreover, our detection solution is pragmatic since it
does not rely on the HT activation mechanism.

16
The categories of this paper are: stat
13
The categories of this paper are: quant-ph
12
The categories of this paper are: nucl-th
8
The categories of this paper are: hep-ex
37
The categories of this paper are: supr-con
5
The categories of this paper are: gr-qc
25
The categories of this paper are: patt-sol
19
The categories of this paper are: eess
31
The categories of this paper are: ao-sci
33
The categories of this paper are: plasm-ph
11
The categories of this paper are: hep-lat
28
The categories of this paper are: alg-geom
15
The categories of this paper are: nucl-ex
27
The categories of this paper are: comp-gas
30
The categories of this paper are: q-alg
23
The categories of this paper are: solv-int