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

Robin Adams, Sibylle Schupp

Privacy by design (PbD) is the principle that privacy should be considered at every stage of the software engineering process. It is increasingly both viewed as best practice and r…