221 followers
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components https://t.co/3PZMqBkyov
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components https://t.co/3PZMqBkyov
"Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components. (arXiv:1901.10892v1 [cs.LO])" #arXiv https://t.co/uRybZPGnmU