Researchers propose a type system for active object languages that automatically enforces GDPR compliance through static type checking and runtime constraint verification. The approach tracks authorized data flows and generates runtime checks based on user consent, addressing key GDPR requirements like purpose limitation and data subject rights. The framework combines compile-time verification with runtime monitoring to ensure personal data processing remains compliant with privacy regulations.
Table of contents
Abstract26 Impressions