Martin Pettai

According to our database, Martin Pettai authored at least 15 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

ZK-SecreC: a Domain-Specific Language for Zero-Knowledge Proofs.

Dan Bogdanov, Joosep Jääger, Peeter Laud, Härmel Nestra, Martin Pettai, Jaak Randmets, Raul-Martin Rebane, Ville Sokk, Kert Tali, Sandhra-Mirella Valdma

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2022

Multi-level privacy analysis of business processes: the Pleak toolset.

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

Int. J. Softw. Tools Technol. Transf., 2022

ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs.

Dan Bogdanov, Joosep Jääger, Peeter Laud, Härmel Nestra, Martin Pettai, Jaak Randmets, Ville Sokk, Kert Tali, Sandhra-Mirella Valdma

CoRR, 2022

2020

A Framework of Metrics for Differential Privacy from Local Sensitivity.

Peeter Laud, Alisa Pankova, Martin Pettai

Proc. Priv. Enhancing Technol., 2020

2019

Business Process Privacy Analysis in Pleak - (Extended Abstract).

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

Inform. Spektrum, 2019

Business Process Privacy Analysis in Pleak.

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

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

Achieving Differential Privacy using Methods from Calculus.

Peeter Laud, Alisa Pankova, Martin Pettai

CoRR, 2018

Sensitivity Analysis of SQL Queries.

Peeter Laud, Martin Pettai, Jaak Randmets

Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, 2018

2017

Combining Differential Privacy and Mutual Information for Analyzing Leakages in Workflows.

Martin Pettai, Peeter Laud

Proceedings of the Principles of Security and Trust - 6th International Conference, 2017

2016

Secure Multiparty Sorting Protocols with Covert Privacy.

Peeter Laud, Martin Pettai

Proceedings of the Secure IT Systems - 21st Nordic Conference, NordSec 2016, Oulu, Finland, 2016

2015

Combining Differential Privacy and Secure Multiparty Computation.

Martin Pettai, Peeter Laud

IACR Cryptol. ePrint Arch., 2015

2014

Automatic Proofs of Privacy of Secure Multi-Party Computation Protocols Against Active Adversaries.

Martin Pettai, Peeter Laud

IACR Cryptol. ePrint Arch., 2014

2013

Dynamics and Secure Information Flow for a Higher-Order Pi-Calculus.

Martin Pettai, Peeter Laud

Proceedings of the Secure IT Systems - 18th Nordic Conference, 2013

Specifying sharemind's arithmetic black box.

Peeter Laud, Alisa Pankova, Martin Pettai, Jaak Randmets

Proceedings of the PETShop'13, 2013

2012

Securing the Future - An Information Flow Analysis of a Distributed OO Language.

Martin Pettai, Peeter Laud

Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012