Formal Modeling and Analysis of Data Protection for GDPR Compliance of IoT Healthcare Systems.

Florian Kammueller

Browse the full SMC paper archive.