Peeter Laud

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 50

Top Venues

IACR Cryptol. ePrint Arch.

CoRR

ICISSP

Proc. Priv. Enhancing Technol.

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Nikita Snetkov, Jelizaveta Vakarjuk, Peeter Laud
TOPCOAT: towards practical two-party Crystals-Dilithium. Discov. Comput. 27 (1) (2024)
Kaarel August Kurik, Peeter Laud
Novel approximations of elementary functions in zero-knowledge proofs. IACR Cryptol. ePrint Arch. 2024 (2024)
Aivo Kalu, Burak Can Kus, Peeter Laud, Kin Long Leung, Nikita Snetkov, Jelizaveta Vakarjuk
CACS: A Cloud Privacy-Preserving Attribute Management System. ARES (2023)
Johanna Maria Kirss, Peeter Laud, Nikita Snetkov, Jelizaveta Vakarjuk
Server-Supported Decryption for Mobile Devices. IACR Cryptol. ePrint Arch. 2023 (2023)
Pierluigi Plebani, Ronen I. Kat, Frank Pallas, Sebastian Werner, Giacomo Inches, Peeter Laud, Rita Santiago
TEADAL: Trustworthy, Energy-Aware federated DAta Lakes along the computing continuum. CAiSE Research Projects Exhibition (2023)
Alisa Pankova, Peeter Laud
Interpreting Epsilon of Differential Privacy in Terms of Advantage in Guessing or Approximating Sensitive Attributes. CSF (2022)
Johanna Maria Kirss, Peeter Laud, Nikita Snetkov, Jelizaveta Vakarjuk
Server-Supported Decryption for Mobile Devices. STM (2022)
Peeter Laud, Nikita Snetkov, Jelizaveta Vakarjuk
DiLizium 2.0: Revisiting Two-Party Crystals-Dilithium. IACR Cryptol. ePrint Arch. 2022 (2022)
Mohammad Anagreh, Peeter Laud
A Parallel Privacy-Preserving Shortest Path Protocol from a Path Algebra Problem. DPM/CBT@ESORICS (2022)
Mohammad Anagreh, Peeter Laud, Eero Vainikko
Privacy-Preserving Parallel Computation of Minimum Spanning Forest. SN Comput. Sci. 3 (6) (2022)
Mohammad Anagreh, Peeter Laud
A Parallel Privacy-Preserving Shortest Path Protocol from a Path Algebra Problem. CoRR (2022)
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)
Mohammad Anagreh, Peeter Laud, Eero Vainikko
Privacy-preserving Parallel Computation of Shortest Path Algorithms with Low Round Complexity. ICISSP (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, Jelizaveta Vakarjuk
A Comparison-Based Methodology for the Security Assurance of Novel Systems. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS (2022)
Mohammad Anagreh, Peeter Laud, Eero Vainikko
Parallel Privacy-Preserving Shortest Path Algorithms. Cryptogr. 5 (4) (2021)
Aleksandr Lenin, Peeter Laud
Content Confidentiality in Named Data Networking. CoRR (2021)
Peeter Laud
Efficient permutation protocol for MPC in the head. IACR Cryptol. ePrint Arch. 2021 (2021)
Mohammad Anagreh, Eero Vainikko, Peeter Laud
Parallel Privacy-preserving Computation of Minimum Spanning Trees. ICISSP (2021)
Mohammad Anagreh, Eero Vainikko, Peeter Laud
Parallel Privacy-Preserving Shortest Paths by Radius-Stepping. PDP (2021)
Mark F. St. John, Grit Denker, Peeter Laud, Karsten Martiny, Alisa Pankova, Dusko Pavlovic
Decision Support for Sharing Data using Differential Privacy. VizSec (2021)
Peeter Laud
Efficient Permutation Protocol for MPC in the Head. STM (2021)
Peeter Laud
Linear-Time Oblivious Permutations for SPDZ. CANS (2021)
Aleksandr Lenin, Peeter Laud
Attribute-based encryption for named data networking. ICN (2021)
Peeter Laud, Alisa Pankova, Martin Pettai
A Framework of Metrics for Differential Privacy from Local Sensitivity. Proc. Priv. Enhancing Technol. 2020 (2) (2020)
Gamal Elkoumy, Stephan A. Fahrenkrog-Petersen, Marlon Dumas, Peeter Laud, Alisa Pankova, Matthias Weidlich
Secure Multi-party Computation for Inter-organizational Process Mining. BPMDS/EMMSAD@CAiSE (2020)
Gamal Elkoumy, Stephan A. Fahrenkrog-Petersen, Marlon Dumas, Peeter Laud, Alisa Pankova, Matthias Weidlich
Shareprom: A Tool for Privacy-Preserving Inter-Organizational Process Mining. BPM (PhD/Demos) (2020)
Mohammad Anagreh, Eero Vainikko, Peeter Laud
Speeding Up the Computation of Elliptic Curve Scalar Multiplication based on CRT and DRM. ICISSP (2020)
Hayretdin Bahsi, Veiko Dieves, Taivo Kangilaski, Peeter Laud, Leo Motus, Jaan Murumets, Illimar Ploom, Jaan Priisalu, Mari Seeba, Ermo Täks, Kaide Tammel, Piia Tammpuu, Kuldar Taveter, Avo Trumm, Tiia-Triin Truusa, Triin Vihalemm
Mapping the Information Flows for the Architecture of a Nationwide Situation Awareness System : (Poster). CogSIMA (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 - (Extended Abstract). Inform. Spektrum 42 (5) (2019)
Peeter Laud, Alisa Pankova
Interpreting Epsilon of Differential Privacy in Terms of Advantage in Guessing or Approximating Sensitive Attributes. CoRR (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)
Mohammad Anagreh, Eero Vainikko, Peeter Laud
Accelerate Performance for Elliptic Curve Scalar Multiplication based on NAF by Parallel Computing. ICISSP (2019)
Gamal Elkoumy, Stephan A. Fahrenkrog-Petersen, Marlon Dumas, Peeter Laud, Alisa Pankova, Matthias Weidlich
Secure Multi-Party Computation for Inter-Organizational Process Mining. CoRR (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)
Marlon Dumas, Luciano García-Bañuelos, Peeter Laud
Disclosure Analysis of SQL Workflows. GraMSec@FLoC (2018)
Peeter Laud, Martin Pettai, Jaak Randmets
Sensitivity Analysis of SQL Queries. PLAS@CCS (2018)
Peeter Laud, Alisa Pankova
Bit Decomposition Protocols in Secure Multiparty Computation. WAHC@CCS (2018)
Peeter Laud, Alisa Pankova, Martin Pettai
Achieving Differential Privacy using Methods from Calculus. CoRR (2018)
Peeter Laud, Alisa Pankova
Privacy-Preserving Frequent Itemset Mining for Sparse and Dense Data. NordSec (2017)
Martin Pettai, Peeter Laud
Combining Differential Privacy and Mutual Information for Analyzing Leakages in Workflows. POST (2017)
Peeter Laud, Alisa Pankova, Roman Jagomägis
Preprocessing Based Verification of Multiparty Protocols with Honest Majority. Proc. Priv. Enhancing Technol. 2017 (4) (2017)
Ahto Buldas, Aivo Kalu, Peeter Laud, Mart Oruaas
Server-Supported RSA Signatures for Mobile Devices. ESORICS (1) (2017)
Peeter Laud, Martin Pettai
Secure Multiparty Sorting Protocols with Covert Privacy. NordSec (2016)
Peeter Laud, Alisa Pankova
Securing Multiparty Protocols against the Exposure of Data to Honest Parties. IACR Cryptol. ePrint Arch. 2016 (2016)
Peeter Laud, Alisa Pankova
Optimizing Secure Computation Programs with Private Conditionals. IACR Cryptol. ePrint Arch. 2016 (2016)
Peeter Laud, Alisa Pankova
Securing Multiparty Protocols Against the Exposure of Data to Honest Parties. DPM/QASA@ESORICS (2016)
Peeter Laud, Alisa Pankova
Optimizing Secure Computation Programs with Private Conditionals. ICICS (2016)
Marlon Dumas, Luciano García-Bañuelos, Peeter Laud
Differential Privacy Analysis of Data Processing Workflows. GraMSec@CSF (2016)
Liisi Kerik, Peeter Laud, Jaak Randmets
Optimizing MPC for Robust and Scalable Integer and Floating-Point Arithmetic. Financial Cryptography Workshops (2016)
Peeter Laud, Alisa Pankova
Preprocessing-Based Verification of Multiparty Protocols with Honest Majority. IACR Cryptol. ePrint Arch. 2015 (2015)
Peeter Laud, Alisa Pankova
Transformation-Based Outsourcing of Linear Equation Systems over Real Numbers. IACR Cryptol. ePrint Arch. 2015 (2015)
Peeter Laud, Jaak Randmets
A Domain-Specific Language for Low-Level Secure Multiparty Computation Protocols. CCS (2015)
Martin Pettai, Peeter Laud
Combining Differential Privacy and Secure Multiparty Computation. IACR Cryptol. ePrint Arch. 2015 (2015)
Dilian Gurov, Peeter Laud, Roberto Guanciale
Privacy preserving business process matching. PST (2015)
Peeter Laud, Alisa Pankova
Privacy-preserving Frequent Itemset Mining for Sparse and Dense Data. IACR Cryptol. ePrint Arch. 2015 (2015)
Martin Pettai, Peeter Laud
Combining Differential Privacy and Secure Multiparty Computation. ACSAC (2015)
Peeter Laud
Parallel Oblivious Array Access for Secure Multiparty Computation and Privacy-Preserving Minimum Spanning Trees. Proc. Priv. Enhancing Technol. 2015 (2) (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)
Roberto Guanciale, Dilian Gurov, Peeter Laud
Private intersection of regular languages. PST (2014)
Ahto Buldas, Risto Laanoja, Peeter Laud, Ahto Truu
Bounded Pre-Image Awareness and the Security of Hash-Tree Keyless Signatures. IACR Cryptol. ePrint Arch. 2014 (2014)
Peeter Laud, Alisa Pankova
Verifiable Computation in Multiparty Protocols with Honest Majority. ProvSec (2014)
Peeter Laud, Jan Willemson
Composable Oblivious Extended Permutations. IACR Cryptol. ePrint Arch. 2014 (2014)
Peeter Laud
A Private Lookup Protocol with Low Online Complexity for Secure Multiparty Computation. ICICS (2014)
Dan Bogdanov, Peeter Laud, Sven Laur, Pille Pullonen
From Input Private to Universally Composable Secure Multi-party Computation Primitives. CSF (2014)
Dan Bogdanov, Peeter Laud, Sven Laur, Pille Pullonen
From Input Private to Universally Composable Secure Multiparty Computation Primitives. IACR Cryptol. ePrint Arch. 2014 (2014)
Peeter Laud, Alisa Pankova
Verifiable Computation in Multiparty Protocols with Honest Majority. IACR Cryptol. ePrint Arch. 2014 (2014)
Dan Bogdanov, Peeter Laud, Jaak Randmets
Domain-Polymorphic Programming of Privacy-Preserving Applications. PLAS@ECOOP (2014)
Ahto Buldas, Risto Laanoja, Peeter Laud, Ahto Truu
Bounded Pre-image Awareness and the Security of Hash-Tree Keyless Signatures. ProvSec (2014)
Peeter Laud
Efficient Oblivious Parallel Array Reads and Writes for Secure Multiparty Computation. IACR Cryptol. ePrint Arch. 2014 (2014)
Peeter Laud, Jan Willemson
Composable Oblivious Extended Permutations. FPS (2014)
Peeter Laud, Alisa Pankova, Martin Pettai, Jaak Randmets
Specifying sharemind's arithmetic black box. PETShop@CCS (2013)
Dan Bogdanov, Peeter Laud, Jaak Randmets
Domain-Polymorphic Programming of Privacy-Preserving Applications. IACR Cryptol. ePrint Arch. 2013 (2013)
Peeter Laud, Alisa Pankova
New Attacks against Transformation-Based Privacy-Preserving Linear Programming. STM (2013)
Peeter Laud, Alisa Pankova
On the (Im)possibility of privately outsourcing linear programming. CCSW (2013)
Dan Bogdanov, Peeter Laud, Jaak Randmets
Domain-polymorphic language for privacy-preserving applications. PETShop@CCS (2013)
Peeter Laud, Alisa Pankova
New Attacks against Transformation-Based Privacy-Preserving Linear Programming. IACR Cryptol. ePrint Arch. 2013 (2013)
Martin Pettai, Peeter Laud
Dynamics and Secure Information Flow for a Higher-Order Pi-Calculus. NordSec (2013)
Peeter Laud, Jan Willemson
Universally composable privacy preserving finite automata execution with low online and offline complexity. IACR Cryptol. ePrint Arch. 2013 (2013)
Peeter Laud
Secure Implementation of Asynchronous Method Calls and Futures. INTRUST (2012)
Alisa Pankova, Peeter Laud
Symbolic Analysis of Cryptographic Protocols Containing Bilinear Pairings. CSF (2012)
Martin Pettai, Peeter Laud
Securing the Future - An Information Flow Analysis of a Distributed OO Language. SOFSEM (2012)
Madeline González Muñiz, Peeter Laud
On the (im)possibility of perennial message recognition protocols without public-key cryptography. SAC (2011)
Madeline González Muñiz, Peeter Laud
Strong Forward Security in Identity-Based Signcryption. IACR Cryptol. ePrint Arch. 2011 (2011)
Sven Heiberg, Peeter Laud, Jan Willemson
The Application of I-Voting for Estonian Parliamentary Elections of 2011. VoteID (2011)
Abu Shohel Ahmed, Peeter Laud
Formal Security Analysis of OpenID with GBA Protocol. MobiSec (2011)
Sven Heiberg, Peeter Laud, Sigurðr Másson, Claus Popp Larsen
Secure mobile access to homecare patients' data. ICEGOV (2011)
Peeter Laud
Implementing Cryptographic Primitives in the Symbolic Model. NASA Formal Methods (2011)
Peeter Laud, Meelis Roos
Formal Analysis of the Estonian Mobile-ID Protocol. NordSec (2009)
Peeter Laud, Ilja Tsahhirov
A User Interface for a Game-Based Protocol Verification Tool. Formal Aspects in Security and Trust (2009)
Peeter Laud, Long Ngo
Threshold Homomorphic Encryption in the Universally Composable Cryptographic Library. IACR Cryptol. ePrint Arch. 2008 (2008)
Peeter Laud, Long Ngo
Threshold Homomorphic Encryption in the Universally Composable Cryptographic Library. ProvSec (2008)
Peeter Laud
On the computational soundness of cryptographically masked flows. POPL (2008)
Ilja Tsahhirov, Peeter Laud
Application of Dependency Graphs to Security Protocol Analysis. TGC (2007)
Peeter Laud, Tarmo Uustalu, Varmo Vene
Type systems equivalent to data-flow analyses for imperative languages. Theor. Comput. Sci. 364 (3) (2006)
Ahto Buldas, Peeter Laud, Jaan Priisalu, Märt Saarepera, Jan Willemson
Rational Choice of Security Measures Via Multi-parameter Attack Trees. CRITIS (2006)
Michael Backes, Peeter Laud
Computationally Sound Secrecy Proofs by Mechanized Flow Analysis. IACR Cryptol. ePrint Arch. 2006 (2006)
Michael Backes, Peeter Laud
Computationally sound secrecy proofs by mechanized flow analysis. CCS (2006)
Peeter Laud
Secrecy types for a simulatable cryptographic library. CCS (2005)

Peeter Laud.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peeter Laud