Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components.

Robin Adams Sibylle Schupp

Published in: VSTTE (2018)

Keyphrases

black box
message passing
black boxes
distributed systems
distributed shared memory
belief propagation
hybrid systems
white box
probabilistic inference
shared memory
test cases
markov random field
three dimensional
data sets
source code
image processing
approximate inference
ldpc codes
computer vision