Published papers and blog posts related to PLEAK:

1. Marlon Dumas, Luciano García-Bañuelos, Peeter Laud: Differential Privacy Analysis of Data Processing Workflows. GraMSec@CSF 2016: 62-79
2. Martin Pettai, Peeter Laud: Combining Differential Privacy and Mutual Information for Analyzing Leakages in Workflows. POST 2017: 298-319
3. Pille Pullonen, Raimundas Matulevičius, Dan Bogdanov: PE-BPMN: Privacy-Enhanced Business Process Model and Notation. BPM 2017: 40-56 https://link.springer.com/chapter/10.1007/978-3-319-65000-5_3
4. Marlon Dumas, Luciano García-Bañuelos, Peeter Laud: Disclosure Analysis of SQL Workflows. GraMSec@CSF 2018: ?-?
5. Pille Pullonen, Jake Tom, Raimundas Matulevičius, Aivo Toots: Privacy-enhanced BPMN: enabling data privacy analysis in business processes models. Software & Systems Modeling, 2019 https://link.springer.com/article/10.1007/s10270-019-00718-z
6. Aivo Toots, Reedik Tuuling, Maksym Yerokhin, Marlon Dumas, Luciano Garcia-Banuelos, Peeter Laud, Raimundas Matulevicius, Alisa Pankova, Martin Pettai, Pille Pullonen, Jake Tom: Business Process Privacy Analysis in Pleak. FASE, 2019. Full version available in https://arxiv.org/abs/1902.05052
7. Pille Pullonen: How privacy enhancing technologies affect business processes. Sharemind blog 2019 https://sharemind.cyber.ee/studying-processes-with-privacy-technologies/
8. Peeter Laud, Alisa Pankova, Martin Pettai: Achieving Differential Privacy using Methods from Calculus, https://arxiv.org/abs/1811.06343
9. Peeter Laud, Alisa Pankova: Interpreting Epsilon of Differential Privacy in Terms of Advantage in Guessing or Approximating Sensitive Attributes, https://arxiv.org/abs/1911.12777
10. Sara Belluccini, Rocco De Nicola, Marlon Dumas, Pille Pullonen, Barbara Re, and Francesco Tiezzi: Verification of privacy-enhanced collaborations. FormaliSE 2020
11. Pille Pullonen: Analysing Privacy of Business Processes in Pleak. Cybernetica's blog 2020 https://cyber.ee/resources/case-studies/analysing-privacy-of-business-processes-in-pleak
12. Marlon Dumas, Luciano García-Bañuelos, Joosep Jääger, Peeter Laud, Raimundas Matulevičius, Alisa Pankova, Martin Pettai, Pille Pullonen-Raudvere, Aivo Toots, Reedik Tuuling and Maksym Yerokhin: Multi-level privacy analysis of business processes: the PLEAK toolset. International Journal on Software Tools for Technology Transfer (2021) https://link.springer.com/epdf/10.1007/s10009-021-00636-w?sharing_token=wZ-2QiyNUtnV5FrvlYeE-fe4RwlQNchNByi7wbcMAY6jbblO6ASvtf3-2W17K3s-cuNM-WlEEVN_b82n3Qu-cq6QKeYMb5gnH6vVkNXd0TZ528nSVkayD27mnAO423uz-Y2ut47HBSGl3jjT_HGAM7AtaHFhC3io8UF6Q2iYeUQ%3D