Martin Pettai

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 13

Top Topics

Differential Privacy

Business Process

Homomorphic Encryption

Top Venues

IACR Cryptol. ePrint Arch.

Inform. Spektrum

Publications

Dan Bogdanov, Joosep Jääger, Peeter Laud, Härmel Nestra, Martin Pettai, Jaak Randmets, Ville Sokk, Kert Tali, Sandhra-Mirella Valdma
ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs. CoRR (2022)
Marlon Dumas, Luciano García-Bañuelos, Joosep Jääger, Peeter Laud, Raimundas Matulevicius, Alisa Pankova, Martin Pettai, Pille Pullonen-Raudvere, Aivo Toots, Reedik Tuuling, Maksym Yerokhin
Multi-level privacy analysis of business processes: the Pleak toolset. Int. J. Softw. Tools Technol. Transf. 24 (2) (2022)
Peeter Laud, Alisa Pankova, Martin Pettai
A Framework of Metrics for Differential Privacy from Local Sensitivity. Proc. Priv. Enhancing Technol. 2020 (2) (2020)
Aivo Toots, Reedik Tuuling, Maksym Yerokhin, Marlon Dumas, Luciano García-Bañuelos, Peeter Laud, Raimundas Matulevicius, Alisa Pankova, Martin Pettai, Pille Pullonen, Jake Tom
Business Process Privacy Analysis in Pleak - (Extended Abstract). Inform. Spektrum 42 (5) (2019)
Aivo Toots, Reedik Tuuling, Maksym Yerokhin, Marlon Dumas, Luciano García-Bañuelos, Peeter Laud, Raimundas Matulevicius, Alisa Pankova, Martin Pettai, Pille Pullonen, Jake Tom
Business Process Privacy Analysis in Pleak. FASE (2019)
Aivo Toots, Reedik Tuuling, Maksym Yerokhin, Marlon Dumas, Luciano García-Bañuelos, Peeter Laud, Raimundas Matulevicius, Alisa Pankova, Martin Pettai, Pille Pullonen, Jake Tom
Business Process Privacy Analysis in Pleak. CoRR (2019)
Peeter Laud, Martin Pettai, Jaak Randmets
Sensitivity Analysis of SQL Queries. PLAS@CCS (2018)
Peeter Laud, Alisa Pankova, Martin Pettai
Achieving Differential Privacy using Methods from Calculus. CoRR (2018)
Martin Pettai, Peeter Laud
Combining Differential Privacy and Mutual Information for Analyzing Leakages in Workflows. POST (2017)
Peeter Laud, Martin Pettai
Secure Multiparty Sorting Protocols with Covert Privacy. NordSec (2016)
Martin Pettai, Peeter Laud
Combining Differential Privacy and Secure Multiparty Computation. IACR Cryptol. ePrint Arch. 2015 (2015)
Martin Pettai, Peeter Laud
Combining Differential Privacy and Secure Multiparty Computation. ACSAC (2015)
Martin Pettai, Peeter Laud
Automatic Proofs of Privacy of Secure Multi-party Computation Protocols against Active Adversaries. CSF (2015)
Martin Pettai, Peeter Laud
Automatic Proofs of Privacy of Secure Multi-Party Computation Protocols Against Active Adversaries. IACR Cryptol. ePrint Arch. 2014 (2014)
Peeter Laud, Alisa Pankova, Martin Pettai, Jaak Randmets
Specifying sharemind's arithmetic black box. PETShop@CCS (2013)
Martin Pettai, Peeter Laud
Dynamics and Secure Information Flow for a Higher-Order Pi-Calculus. NordSec (2013)
Martin Pettai, Peeter Laud
Securing the Future - An Information Flow Analysis of a Distributed OO Language. SOFSEM (2012)