Author:Robin Adams

Publications
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components Robin Adams and Sibylle Schupp EasyChair Preprint 425

Keyphrases

Architecture, formal methods, General Data Protection Regulation, Privacy by Design, Privacy constraint, privacy policy, privacy property, privacy safe, safe architecture, type system, type systems, type theory.