Verifying Privacy-Type Properties in a Modular Way.

Myrto Arapinis Vincent Cheval Stéphanie Delaune

Published in: CSF (2012)

Keyphrases

personal information
structural properties
desirable properties
artificial intelligence
web services
privacy preserving
statistical databases