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.