Martin Pettai

18 papers A 3B 2Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2024 A conf
ZK-SecreC: a Domain-Specific Language for Zero-Knowledge Proofs.
CSF
Dan Bogdanov, Joosep Jääger, Peeter Laud, Härmel Nestra, Martin Pettai, Jaak Randmets, Raul-Martin Rebane, Ville Sokk, Kert Tali, Sandhra-Mirella Valdma
2022 J jnl
Multi-level privacy analysis of business processes: the Pleak toolset.
Int. J. Softw. Tools Technol. Transf.
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
2022 J jnl
ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs.
CoRR
Dan Bogdanov, Joosep Jääger, Peeter Laud, Härmel Nestra, Martin Pettai, Jaak Randmets, Ville Sokk, Kert Tali, Sandhra-Mirella Valdma
2020 J jnl
A Framework of Metrics for Differential Privacy from Local Sensitivity.
Proc. Priv. Enhancing Technol.
Peeter Laud, Alisa Pankova, Martin Pettai
2019 J jnl
Business Process Privacy Analysis in Pleak - (Extended Abstract).
Inform. Spektrum
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
2019 B conf
Business Process Privacy Analysis in Pleak.
FASE
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
2019 J jnl
Business Process Privacy Analysis in Pleak.
CoRR
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
2018 J jnl
Achieving Differential Privacy using Methods from Calculus.
CoRR
Peeter Laud, Alisa Pankova, Martin Pettai
2018 — conf
Sensitivity Analysis of SQL Queries.
PLAS@CCS
Peeter Laud, Martin Pettai, Jaak Randmets
2017 — conf
Combining Differential Privacy and Mutual Information for Analyzing Leakages in Workflows.
POST
Martin Pettai, Peeter Laud
2016 — conf
Secure Multiparty Sorting Protocols with Covert Privacy.
NordSec
Peeter Laud, Martin Pettai
2015 A conf
Automatic Proofs of Privacy of Secure Multi-party Computation Protocols against Active Adversaries.
CSF
Martin Pettai, Peeter Laud
2015 A conf
Combining Differential Privacy and Secure Multiparty Computation.
ACSAC
Martin Pettai, Peeter Laud
2015 J jnl
Combining Differential Privacy and Secure Multiparty Computation.
IACR Cryptol. ePrint Arch.
Martin Pettai, Peeter Laud
2014 J jnl
Automatic Proofs of Privacy of Secure Multi-Party Computation Protocols Against Active Adversaries.
IACR Cryptol. ePrint Arch.
Martin Pettai, Peeter Laud
2013 — conf
Dynamics and Secure Information Flow for a Higher-Order Pi-Calculus.
NordSec
Martin Pettai, Peeter Laud
2013 — conf
Specifying sharemind's arithmetic black box.
PETShop@CCS
Peeter Laud, Alisa Pankova, Martin Pettai, Jaak Randmets
2012 B conf
Securing the Future - An Information Flow Analysis of a Distributed OO Language.
SOFSEM
Martin Pettai, Peeter Laud