selected publications chapter Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components. Lecture Notes in Computer Science. 2018