Computer-Aided Privacy Verification and Design Engineering Tool

CAPVerDE is a work-in-progress project that is an Integrated Tool Environment for Privacy Verification in Software Architectures.

Violations of the privacy of users can happen if data protection is not a fundamental part of the development process of a software system. The principle of Privacy by Design (PbD) therefore stipulates the consideration of privacy as a default feature.

We have developed an integrated tool environment called CAPVerDE that provides a formal description language of software architectures and helps a designer by automatically verifying statements about the storage and origin of personal data at the architectural level.

CAPVerDE allows the designer to specify privacy properties in a formal description language and transforms them into SMT statements.

1.0 (rejected FM paper)
Basic version that supports properties related to the access, knowledge, storage, and sharing of data.
Executables / Code

1.05 (PST paper)
Refined version that supports probabilistic properties regarding access and knowledge.
Executables / Code

1.15 (IFIPSEC paper)
Extended version that supports purpose limitation properties.
Executables / Code

1.16 (CPDP paper)
Extended version that supports performing a (GDPR-compliant) Data Protection Impact Assessment.
Executables / Code

Please read the documentation included in the ZIP file for correct installation.