Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components
EasyChair Preprints
doi 10.29007/xl9h
Full Text
Open PDFAbstract
Available in full text
Date
August 13, 2018
Authors
Publisher
EasyChair