TY  - RPRT
TI  - Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components
AU  - Robin Adams
AU  - Sibylle Schupp
PY  - 2019
DO  - 10.1007/978-3-030-03592-1_11
UR  - https://arxiv.org/abs/1901.10892
ID  - 1901.10892
ER  -