HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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.

Copyright © 2012-2025 easychair.org. All rights reserved.