Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Principles of Layered Attestation   Systems designed with measurement and attestation in mind are often layered,
with the lower layers measuring the layers above them. Attestations of such
systems, which we call layered attestations, must bundle together the results
of a diverse set of application-specific measurements of various parts of the
system. Some methods of layered attestation are more trustworthy than others,
so it is important for system designers to understand the trust consequences of
different system configurations. This paper presents a formal framework for
reasoning about layered attestations, and provides generic reusable principles
for achieving trustworthy results.

23
The categories of this paper are: solv-int
27
The categories of this paper are: comp-gas
15
The categories of this paper are: nucl-ex
8
The categories of this paper are: hep-ex
4
The categories of this paper are: cond-mat
33
The categories of this paper are: plasm-ph
29
The categories of this paper are: funct-an
11
The categories of this paper are: hep-lat
25
The categories of this paper are: patt-sol
18
The categories of this paper are: econ
5
The categories of this paper are: gr-qc
31
The categories of this paper are: ao-sci
21
The categories of this paper are: adap-org
17
The categories of this paper are: q-fin
28
The categories of this paper are: alg-geom
7
The categories of this paper are: hep-th