Peeter Laud

128 papers A* 6A 9B 5C 16Misc 4Journal 48Unranked 38
YearRankTypeTitle / Venue / Authors
2026 J jnl
Modal Logic for Distributed Trust.
CoRR
Niels F. W. Voorneveld, Peeter Laud
2025 C conf
Electrum: UC Fail-Stop Server-Supported Signatures.
ProvSec
Nikita Snetkov, Jelizaveta Vakarjuk, Peeter Laud
2025 — conf
Novel Approximations of Elementary Functions in Zero-Knowledge Proofs.
ARES (EU Projects Symposium Workshops 1)
Kaarel August Kurik, Peeter Laud
2025 A conf
Privacy-Preserving Server-Supported Decryption.
CSF
Peeter Laud, Alisa Pankova, Jelizaveta Vakarjuk
2025 J jnl
Trilithium: Efficient and Universally Composable Distributed ML-DSA Signing.
IACR Cryptol. ePrint Arch.
Antonín Dufka, Semjon Kravtsenko, Peeter Laud, Nikita Snetkov
2025 — conf
Two-Party ECDSA with JavaCard-Based Smartcards.
ACNS (2)
Antonín Dufka, Peeter Laud, Petr Svenda
2025 — conf
Zero-Knowledge Proof-of-Location Protocols for Vehicle Subsidies and Taxation Compliance.
ARES (EU Projects Symposium Workshops 1)
Dan Bogdanov, Eduardo Brito, Annika Jaakson, Peeter Laud, Raul-Martin Rebane
2025 J jnl
Zero-Knowledge Proof-of-Location Protocols for Vehicle Subsidies and Taxation Compliance.
CoRR
Dan Bogdanov, Eduardo Brito, Annika Jaakson, Peeter Laud, Raul-Martin Rebane
2025 J jnl
sfElectrum: UC Fail-Stop Server-Supported Signatures.
IACR Cryptol. ePrint Arch.
Nikita Snetkov, Jelizaveta Vakarjuk, Peeter Laud
2024 — conf
Identifying Obstacles of PQC Migration in E-Estonia.
CyCon
Jelizaveta Vakarjuk, Nikita Snetkov, Peeter Laud
2024 J jnl
Novel approximations of elementary functions in zero-knowledge proofs.
IACR Cryptol. ePrint Arch.
Kaarel August Kurik, Peeter Laud
2024 J jnl
Privacy-preserving server-supported decryption.
CoRR
Peeter Laud, Alisa Pankova, Jelizaveta Vakarjuk
2024 J jnl
Security Proof of Single-Source Shortest Distance Protocols Built on Secure Multiparty Computation Protocols.
Cryptogr.
Mohammad Anagreh, Peeter Laud
2024 J jnl
TOPCOAT: towards practical two-party Crystals-Dilithium.
Discov. Comput.
Nikita Snetkov, Jelizaveta Vakarjuk, Peeter Laud
2024 J jnl
Universally Composable Server-Supported Signatures for Smartphones.
IACR Cryptol. ePrint Arch.
Nikita Snetkov, Jelizaveta Vakarjuk, Peeter Laud
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
2023 B conf
CACS: A Cloud Privacy-Preserving Attribute Management System.
ARES
Aivo Kalu, Burak Can Kus, Peeter Laud, Kin Long Leung, Nikita Snetkov, Jelizaveta Vakarjuk
2023 J jnl
Server-Supported Decryption for Mobile Devices.
IACR Cryptol. ePrint Arch.
Johanna Maria Kirss, Peeter Laud, Nikita Snetkov, Jelizaveta Vakarjuk
2023 — conf
TEADAL: Trustworthy, Energy-Aware federated DAta Lakes along the computing continuum.
CAiSE Research Projects Exhibition
Pierluigi Plebani, Ronen I. Kat, Frank Pallas, Sebastian Werner, Giacomo Inches, Peeter Laud, Rita Santiago
2022 — conf
A Comparison-Based Methodology for the Security Assurance of Novel Systems.
CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS
Peeter Laud, Jelizaveta Vakarjuk
2022 — conf
A Parallel Privacy-Preserving Shortest Path Protocol from a Path Algebra Problem.
DPM/CBT@ESORICS
Mohammad Anagreh, Peeter Laud
2022 J jnl
A Parallel Privacy-Preserving Shortest Path Protocol from a Path Algebra Problem.
CoRR
Mohammad Anagreh, Peeter Laud
2022 J jnl
DiLizium 2.0: Revisiting Two-Party Crystals-Dilithium.
IACR Cryptol. ePrint Arch.
Peeter Laud, Nikita Snetkov, Jelizaveta Vakarjuk
2022 A conf
Interpreting Epsilon of Differential Privacy in Terms of Advantage in Guessing or Approximating Sensitive Attributes.
CSF
Alisa Pankova, Peeter Laud
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
Privacy-Preserving Parallel Computation of Minimum Spanning Forest.
SN Comput. Sci.
Mohammad Anagreh, Peeter Laud, Eero Vainikko
2022 C conf
Privacy-preserving Parallel Computation of Shortest Path Algorithms with Low Round Complexity.
ICISSP
Mohammad Anagreh, Peeter Laud, Eero Vainikko
2022 — conf
Server-Supported Decryption for Mobile Devices.
STM
Johanna Maria Kirss, Peeter Laud, Nikita Snetkov, Jelizaveta Vakarjuk
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
2021 — conf
Attribute-based encryption for named data networking.
ICN
Aleksandr Lenin, Peeter Laud
2021 J jnl
Content Confidentiality in Named Data Networking.
CoRR
Aleksandr Lenin, Peeter Laud
2021 C conf
Decision Support for Sharing Data using Differential Privacy.
VizSec
Mark F. St. John, Grit Denker, Peeter Laud, Karsten Martiny, Alisa Pankova, Dusko Pavlovic
2021 — conf
Efficient Permutation Protocol for MPC in the Head.
STM
Peeter Laud
2021 J jnl
Efficient permutation protocol for MPC in the head.
IACR Cryptol. ePrint Arch.
Peeter Laud
2021 B conf
Linear-Time Oblivious Permutations for SPDZ.
CANS
Peeter Laud
2021 J jnl
Parallel Privacy-Preserving Shortest Path Algorithms.
Cryptogr.
Mohammad Anagreh, Peeter Laud, Eero Vainikko
2021 C conf
Parallel Privacy-Preserving Shortest Paths by Radius-Stepping.
PDP
Mohammad Anagreh, Eero Vainikko, Peeter Laud
2021 C conf
Parallel Privacy-preserving Computation of Minimum Spanning Trees.
ICISSP
Mohammad Anagreh, Eero Vainikko, Peeter Laud
2020 J jnl
A Framework of Metrics for Differential Privacy from Local Sensitivity.
Proc. Priv. Enhancing Technol.
Peeter Laud, Alisa Pankova, Martin Pettai
2020 — conf
Secure Multi-party Computation for Inter-organizational Process Mining.
BPMDS/EMMSAD@CAiSE
Gamal Elkoumy, Stephan A. Fahrenkrog-Petersen, Marlon Dumas, Peeter Laud, Alisa Pankova, Matthias Weidlich
2020 — conf
Shareprom: A Tool for Privacy-Preserving Inter-Organizational Process Mining.
BPM (PhD/Demos)
Gamal Elkoumy, Stephan A. Fahrenkrog-Petersen, Marlon Dumas, Peeter Laud, Alisa Pankova, Matthias Weidlich
2020 C conf
Speeding Up the Computation of Elliptic Curve Scalar Multiplication based on CRT and DRM.
ICISSP
Mohammad Anagreh, Eero Vainikko, Peeter Laud
2019 C conf
Accelerate Performance for Elliptic Curve Scalar Multiplication based on NAF by Parallel Computing.
ICISSP
Mohammad Anagreh, Eero Vainikko, Peeter Laud
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
2019 J jnl
Interpreting Epsilon of Differential Privacy in Terms of Advantage in Guessing or Approximating Sensitive Attributes.
CoRR
Peeter Laud, Alisa Pankova
2019 Misc conf
Mapping the Information Flows for the Architecture of a Nationwide Situation Awareness System : (Poster).
CogSIMA
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
2019 J jnl
Secure Multi-Party Computation for Inter-Organizational Process Mining.
CoRR
Gamal Elkoumy, Stephan A. Fahrenkrog-Petersen, Marlon Dumas, Peeter Laud, Alisa Pankova, Matthias Weidlich
2018 J jnl
Achieving Differential Privacy using Methods from Calculus.
CoRR
Peeter Laud, Alisa Pankova, Martin Pettai
2018 — conf
Bit Decomposition Protocols in Secure Multiparty Computation.
WAHC@CCS
Peeter Laud, Alisa Pankova
2018 — conf
Disclosure Analysis of SQL Workflows.
GraMSec
Marlon Dumas, Luciano García-Bañuelos, Peeter Laud
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
2017 J jnl
Preprocessing Based Verification of Multiparty Protocols with Honest Majority.
Proc. Priv. Enhancing Technol.
Peeter Laud, Alisa Pankova, Roman Jagomägis
2017 — conf
Privacy-Preserving Frequent Itemset Mining for Sparse and Dense Data.
NordSec
Peeter Laud, Alisa Pankova
2017 — conf
Server-Supported RSA Signatures for Mobile Devices.
ESORICS (1)
Ahto Buldas, Aivo Kalu, Peeter Laud, Mart Oruaas
2016 — conf
Differential Privacy Analysis of Data Processing Workflows.
GraMSec
Marlon Dumas, Luciano García-Bañuelos, Peeter Laud
2016 — conf
Optimizing MPC for Robust and Scalable Integer and Floating-Point Arithmetic.
Financial Cryptography Workshops
Liisi Kerik, Peeter Laud, Jaak Randmets
2016 C conf
Optimizing Secure Computation Programs with Private Conditionals.
ICICS
Peeter Laud, Alisa Pankova
2016 J jnl
Optimizing Secure Computation Programs with Private Conditionals.
IACR Cryptol. ePrint Arch.
Peeter Laud, Alisa Pankova
2016 — conf
Secure Multiparty Sorting Protocols with Covert Privacy.
NordSec
Peeter Laud, Martin Pettai
2016 — conf
Securing Multiparty Protocols Against the Exposure of Data to Honest Parties.
DPM/QASA@ESORICS
Peeter Laud, Alisa Pankova
2016 J jnl
Securing Multiparty Protocols against the Exposure of Data to Honest Parties.
IACR Cryptol. ePrint Arch.
Peeter Laud, Alisa Pankova
2015 A* conf
A Domain-Specific Language for Low-Level Secure Multiparty Computation Protocols.
CCS
Peeter Laud, Jaak Randmets
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
2015 J jnl
Parallel Oblivious Array Access for Secure Multiparty Computation and Privacy-Preserving Minimum Spanning Trees.
Proc. Priv. Enhancing Technol.
Peeter Laud
2015 J jnl
Preprocessing-Based Verification of Multiparty Protocols with Honest Majority.
IACR Cryptol. ePrint Arch.
Peeter Laud, Alisa Pankova
2015 C conf
Privacy preserving business process matching.
PST
Dilian Gurov, Peeter Laud, Roberto Guanciale
2015 J jnl
Privacy-preserving Frequent Itemset Mining for Sparse and Dense Data.
IACR Cryptol. ePrint Arch.
Peeter Laud, Alisa Pankova
2015 J jnl
Transformation-Based Outsourcing of Linear Equation Systems over Real Numbers.
IACR Cryptol. ePrint Arch.
Peeter Laud, Alisa Pankova
2014 C conf
A Private Lookup Protocol with Low Online Complexity for Secure Multiparty Computation.
ICICS
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
2014 J jnl
Bounded Pre-Image Awareness and the Security of Hash-Tree Keyless Signatures.
IACR Cryptol. ePrint Arch.
Ahto Buldas, Risto Laanoja, Peeter Laud, Ahto Truu
2014 C conf
Bounded Pre-image Awareness and the Security of Hash-Tree Keyless Signatures.
ProvSec
Ahto Buldas, Risto Laanoja, Peeter Laud, Ahto Truu
2014 — conf
Composable Oblivious Extended Permutations.
FPS
Peeter Laud, Jan Willemson
2014 J jnl
Composable Oblivious Extended Permutations.
IACR Cryptol. ePrint Arch.
Peeter Laud, Jan Willemson
2014 — conf
Domain-Polymorphic Programming of Privacy-Preserving Applications.
PLAS@ECOOP
Dan Bogdanov, Peeter Laud, Jaak Randmets
2014 J jnl
Efficient Oblivious Parallel Array Reads and Writes for Secure Multiparty Computation.
IACR Cryptol. ePrint Arch.
Peeter Laud
2014 A conf
From Input Private to Universally Composable Secure Multi-party Computation Primitives.
CSF
Dan Bogdanov, Peeter Laud, Sven Laur, Pille Pullonen
2014 J jnl
From Input Private to Universally Composable Secure Multiparty Computation Primitives.
IACR Cryptol. ePrint Arch.
Dan Bogdanov, Peeter Laud, Sven Laur, Pille Pullonen
2014 C conf
Private intersection of regular languages.
PST
Roberto Guanciale, Dilian Gurov, Peeter Laud
2014 C conf
Verifiable Computation in Multiparty Protocols with Honest Majority.
ProvSec
Peeter Laud, Alisa Pankova
2014 J jnl
Verifiable Computation in Multiparty Protocols with Honest Majority.
IACR Cryptol. ePrint Arch.
Peeter Laud, Alisa Pankova
2013 J jnl
Domain-Polymorphic Programming of Privacy-Preserving Applications.
IACR Cryptol. ePrint Arch.
Dan Bogdanov, Peeter Laud, Jaak Randmets
2013 — conf
Domain-polymorphic language for privacy-preserving applications.
PETShop@CCS
Dan Bogdanov, Peeter Laud, Jaak Randmets
2013 — conf
Dynamics and Secure Information Flow for a Higher-Order Pi-Calculus.
NordSec
Martin Pettai, Peeter Laud
2013 — conf
New Attacks against Transformation-Based Privacy-Preserving Linear Programming.
STM
Peeter Laud, Alisa Pankova
2013 J jnl
New Attacks against Transformation-Based Privacy-Preserving Linear Programming.
IACR Cryptol. ePrint Arch.
Peeter Laud, Alisa Pankova
2013 — conf
On the (Im)possibility of privately outsourcing linear programming.
CCSW
Peeter Laud, Alisa Pankova
2013 — conf
Specifying sharemind's arithmetic black box.
PETShop@CCS
Peeter Laud, Alisa Pankova, Martin Pettai, Jaak Randmets
2013 J jnl
Universally composable privacy preserving finite automata execution with low online and offline complexity.
IACR Cryptol. ePrint Arch.
Peeter Laud, Jan Willemson
2012 — ed.
Information Security Technology for Applications - 16th Nordic Conference on Secure IT Systems, NordSec 2011, Tallinn, Estonia, October 26-28, 2011, Revised Selected Papers
NordSec
Peeter Laud
2012 — conf
Secure Implementation of Asynchronous Method Calls and Futures.
INTRUST
Peeter Laud
2012 B conf
Securing the Future - An Information Flow Analysis of a Distributed OO Language.
SOFSEM
Martin Pettai, Peeter Laud
2012 A conf
Symbolic Analysis of Cryptographic Protocols Containing Bilinear Pairings.
CSF
Alisa Pankova, Peeter Laud
2011 — conf
Formal Security Analysis of OpenID with GBA Protocol.
MobiSec
Abu Shohel Ahmed, Peeter Laud
2011 — conf
Implementing Cryptographic Primitives in the Symbolic Model.
NASA Formal Methods
Peeter Laud
2011 Misc conf
On the (im)possibility of perennial message recognition protocols without public-key cryptography.
SAC
Madeline González Muñiz, Peeter Laud
2011 — conf
Secure mobile access to homecare patients' data.
ICEGOV
Sven Heiberg, Peeter Laud, Sigurðr Másson, Claus Popp Larsen
2011 J jnl
Strong Forward Security in Identity-Based Signcryption.
IACR Cryptol. ePrint Arch.
Madeline González Muñiz, Peeter Laud
2011 — conf
The Application of I-Voting for Estonian Parliamentary Elections of 2011.
VoteID
Sven Heiberg, Peeter Laud, Jan Willemson
2009 — conf
A User Interface for a Game-Based Protocol Verification Tool.
Formal Aspects in Security and Trust
Peeter Laud, Ilja Tsahhirov
2009 — conf
Formal Analysis of the Estonian Mobile-ID Protocol.
NordSec
Peeter Laud, Meelis Roos
2008 A* conf
On the computational soundness of cryptographically masked flows.
POPL
Peeter Laud
2008 C conf
Threshold Homomorphic Encryption in the Universally Composable Cryptographic Library.
ProvSec
Peeter Laud, Long Ngo
2008 J jnl
Threshold Homomorphic Encryption in the Universally Composable Cryptographic Library.
IACR Cryptol. ePrint Arch.
Peeter Laud, Long Ngo
2007 — conf
Application of Dependency Graphs to Security Protocol Analysis.
TGC
Ilja Tsahhirov, Peeter Laud
2006 J jnl
Computationally Sound Secrecy Proofs by Mechanized Flow Analysis.
IACR Cryptol. ePrint Arch.
Michael Backes, Peeter Laud
2006 A* conf
Computationally sound secrecy proofs by mechanized flow analysis.
CCS
Michael Backes, Peeter Laud
2006 C conf
Rational Choice of Security Measures Via Multi-parameter Attack Trees.
CRITIS
Ahto Buldas, Peeter Laud, Jaan Priisalu, Märt Saarepera, Jan Willemson
2006 J jnl
Type systems equivalent to data-flow analyses for imperative languages.
Theor. Comput. Sci.
Peeter Laud, Tarmo Uustalu, Varmo Vene
2005 B conf
A Type System for Computationally Secure Information Flow.
FCT
Peeter Laud, Varmo Vene
2005 A* conf
Secrecy types for a simulatable cryptographic library.
CCS
Peeter Laud
2005 C conf
Universally Composable Time-Stamping Schemes with Audit.
ISC
Ahto Buldas, Peeter Laud, Märt Saarepera, Jan Willemson
2005 J jnl
Universally Composable Time-Stamping Schemes with Audit.
IACR Cryptol. ePrint Arch.
Ahto Buldas, Peeter Laud, Märt Saarepera, Jan Willemson
2004 — conf
Symmetric Encryption in Automatic Analyses for Confidentiality against Active Adversaries.
S&P
Peeter Laud
2003 A conf
Handling Encryption in an Analysis for Secure Information Flow.
ESOP
Peeter Laud
2003 Misc conf
Sound Computational Interpretation of Formal Encryption with Composed Keys.
ICISC
Peeter Laud, Ricardo Corin
2002 — —
Computationally secure information flow.
Peeter Laud
2002 J jnl
Eliminating Counterevidence with Applications to Accountable Certificate Management.
J. Comput. Secur.
Ahto Buldas, Peeter Laud, Helger Lipmaa
2001 A conf
Semantics and Program Analysis of Computationally Secure Information Flow.
ESOP
Peeter Laud
2000 J jnl
Accountable Certificate Management using Undeniable Attestations.
IACR Cryptol. ePrint Arch.
Ahto Buldas, Peeter Laud, Helger Lipmaa
2000 A* conf
Accountable certificate management using undeniable attestations.
CCS
Ahto Buldas, Peeter Laud, Helger Lipmaa
1998 Misc conf
New linking schemes for digital time-stamping.
ICISC
Ahto Buldas, Peeter Laud
1998 A* conf
Time-Stamping with Binary Linking Schemes.
CRYPTO
Ahto Buldas, Peeter Laud, Helger Lipmaa, Jan Willemson