Securing the Future - An Information Flow Analysis of a Distributed OO Language. - Martin Pettai; Peeter Laud (SOFSEM, 2012)

Specifying sharemind's arithmetic black box. - Peeter Laud; Alisa Pankova; Martin Pettai; Jaak Randmets (PETShop@CCS, 2013)

Dynamics and Secure Information Flow for a Higher-Order Pi-Calculus. - Martin Pettai; Peeter Laud (NordSec, 2013)

Automatic Proofs of Privacy of Secure Multi-Party Computation Protocols Against Active Adversaries. - Martin Pettai; Peeter Laud (IACR Cryptol. ePrint Arch., 2014)

Combining Differential Privacy and Secure Multiparty Computation. - Martin Pettai; Peeter Laud (IACR Cryptol. ePrint Arch., 2015)

Secure Multiparty Sorting Protocols with Covert Privacy. - Peeter Laud; Martin Pettai (NordSec, 2016)

Combining Differential Privacy and Mutual Information for Analyzing Leakages in Workflows. - Martin Pettai; Peeter Laud (POST, 2017)

Sensitivity Analysis of SQL Queries. - Peeter Laud; Martin Pettai; Jaak Randmets (PLAS@CCS, 2018)

Achieving Differential Privacy using Methods from Calculus. - Peeter Laud; Alisa Pankova; Martin Pettai (CoRR, 2018)

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 (FASE, 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)

A Framework of Metrics for Differential Privacy from Local Sensitivity. - Peeter Laud; Alisa Pankova; Martin Pettai (Proc. Priv. Enhancing Technol., 2020)

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)

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; Raul-Martin Rebane; Ville Sokk; Kert Tali; Sandhra-Mirella Valdma (CSF, 2024)