Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Constructing Independently Verifiable Privacy-Compliant Type Systems for
  Message Passing between Black-Box Components   Privacy by design (PbD) is the principle that privacy should be considered at
every stage of the software engineering process. It is increasingly both viewed
as best practice and required by law. It is therefore desirable to have formal
methods that provide guarantees that certain privacy-relevant properties hold.
We propose an approach that can be used to design a privacy-compliant
architecture without needing to know the source code or internal structure of
any individual component. We model an architecture as a set of agents or
components that pass messages to each other. We present in this paper
algorithms that take as input an architecture and a set of privacy constraints,
and output an extension of the original architecture that satisfies the privacy
constraints.

24
The categories of this paper are: dg-ga
20
The categories of this paper are: acc-phys
25
The categories of this paper are: patt-sol
34
The categories of this paper are: chem-ph
16
The categories of this paper are: stat
11
The categories of this paper are: hep-lat
28
The categories of this paper are: alg-geom
23
The categories of this paper are: solv-int
0
The categories of this paper are: hep-ph
13
The categories of this paper are: quant-ph
17
The categories of this paper are: q-fin
15
The categories of this paper are: nucl-ex
7
The categories of this paper are: hep-th
14
The categories of this paper are: math-ph
8
The categories of this paper are: hep-ex
32
The categories of this paper are: atom-ph