  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.
