Welcome!

PLEAK (Privacy LEAKage) is a next-generation analysis tool for the privacy audit of an existing systems and the design of new privacy-aware systems. PLEAK lets you model your business process using the Business Process Model Notation (BPMN) and add various details to specify the system. For example it is possible to add information about privacy-enhancing technologies or specify the data processing using SQL or our pseudocode. PLEAK can then analyze the data flows based cryptographic privacy, data dependency and differential privacy to help you study the privacy properties of your system.

PLEAK is under development by Cybernetica AS and the University of Tartu under the DARPA Brandeis privacy technology development program and DARPA SHARE program. Access to PLEAK is currently limited, please write to pleak-support@cyber.ee if you are interested in an account. For more information about PLEAK see our wiki wiki or contact pleak-support@cyber.ee. Pleak is open source, find us on Github as Pleak-tools.