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

EasyChair Preprints
doi 10.29007/xl9h
Full Text
Abstract

Available in full text

Date
Authors
Publisher

EasyChair