# Business Process Privacy Analysis in Pleak

## TL;DR

Pleak is a tool designed to analyze privacy in business process models, quantifying information leaks and supporting detailed inspection through extensible plugins.

## Contribution

It introduces Pleak, a novel tool that captures and analyzes privacy aspects of business processes with extensible analysis plugins.

## Key findings

- Pleak effectively quantifies information leakage in business processes.
- The tool supports multi-level privacy analysis.
- Extensible plugins enhance analysis flexibility.

## Abstract

Pleak is a tool to capture and analyze privacy-enhanced business process models to characterize and quantify to what extent the outputs of a process leak information about its inputs. Pleak incorporates an extensible set of analysis plugins, which enable users to inspect potential leakages at multiple levels of detail.