External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Robin Adams, Sibylle Schupp. Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components. In Ruzica Piskac, Philipp Rümmer, editors, Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers. Volume 11294 of Lecture Notes in Computer Science, pages 196-214, Springer, 2018. [doi]

Authors

Robin Adams

This author has not been identified. Look up 'Robin Adams' in Google

Sibylle Schupp

This author has not been identified. It may be one of the following persons: Look up 'Sibylle Schupp' in Google
runs on