Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Isadora: Automated Information Flow Property Generation for Hardware
  Designs   Isadora is a methodology for creating information flow specifications of
hardware designs. The methodology combines information flow tracking and
specification mining to produce a set of information flow properties that are
suitable for use during the security validation process, and which support a
better understanding of the security posture of the design. Isadora is fully
automated; the user provides only the design under consideration and a
testbench and need not supply a threat model nor security specifications. We
evaluate Isadora on a RISC-V processor plus two designs related to SoC access
control. Isadora generates security properties that align with those suggested
by the Common Weakness Enumerations (CWEs), and in the case of the SoC designs,
align with the properties written manually by security experts.

15
The categories of this paper are: nucl-ex
25
The categories of this paper are: patt-sol
30
The categories of this paper are: q-alg
27
The categories of this paper are: comp-gas
18
The categories of this paper are: econ
8
The categories of this paper are: hep-ex
21
The categories of this paper are: adap-org
24
The categories of this paper are: dg-ga
3
The categories of this paper are: physics
20
The categories of this paper are: acc-phys
9
The categories of this paper are: nlin
28
The categories of this paper are: alg-geom
23
The categories of this paper are: solv-int
29
The categories of this paper are: funct-an
4
The categories of this paper are: cond-mat
26
The categories of this paper are: bayes-an