Peeter Laud

Joosep Jääger

Raimundas Matulevicius

Pille Pullonen-Raudvere

Aivo Toots

Reedik Tuuling

Maksym Yerokhin

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

Privacy-Preserving Parallel Computation of Minimum Spanning Forest.

[BibT_eX]

[DOI]

SN Comput. Sci., 2022

DiLizium 2.0: Revisiting Two-Party Crystals-Dilithium.

[BibT_eX]

[DOI]

Nikita Snetkov

Jelizaveta Vakarjuk

IACR Cryptol. ePrint Arch., 2022

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

[BibT_eX]

[DOI]

Sandhra-Mirella Valdma

CoRR, 2022

Privacy-preserving Parallel Computation of Shortest Path Algorithms with Low Round Complexity.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Information Systems Security and Privacy, 2022

A Comparison-Based Methodology for the Security Assurance of Novel Systems.

[BibT_eX]

[DOI]

Jelizaveta Vakarjuk

Proceedings of the Computer Security. ESORICS 2022 International Workshops, 2022

A Parallel Privacy-Preserving Shortest Path Protocol from a Path Algebra Problem.

[BibT_eX]

[DOI]

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2022

Interpreting Epsilon of Differential Privacy in Terms of Advantage in Guessing or Approximating Sensitive Attributes.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2021

Efficient permutation protocol for MPC in the head.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

Parallel Privacy-Preserving Shortest Path Algorithms.

[BibT_eX]

[DOI]

Cryptogr., 2021

Content Confidentiality in Named Data Networking.

[BibT_eX]

[DOI]

Aleksandr Lenin

CoRR, 2021

Decision Support for Sharing Data using Differential Privacy.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Visualization for Cyber Security, 2021

Parallel Privacy-Preserving Shortest Paths by Radius-Stepping.

[BibT_eX]

[DOI]

Proceedings of the 29th Euromicro International Conference on Parallel, 2021

Parallel Privacy-preserving Computation of Minimum Spanning Trees.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021

Linear-Time Oblivious Permutations for SPDZ.

[BibT_eX]

[DOI]

Proceedings of the Cryptology and Network Security - 20th International Conference, 2021

Attribute-based encryption for named data networking.

[BibT_eX]

[DOI]

Aleksandr Lenin

Proceedings of the ICN '21: 8th ACM Conference on Information-Centric Networking, Paris, France, September 22, 2021

2020

A Framework of Metrics for Differential Privacy from Local Sensitivity.

[BibT_eX]

[DOI]

Proc. Priv. Enhancing Technol., 2020

Speeding Up the Computation of Elliptic Curve Scalar Multiplication based on CRT and DRM.

[BibT_eX]

[DOI]

Stephan A. Fahrenkrog-Petersen

Proceedings of the 6th International Conference on Information Systems Security and Privacy, 2020

Secure Multi-party Computation for Inter-organizational Process Mining.

[BibT_eX]

[DOI]

Gamal Elkoumy

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2020

Shareprom: A Tool for Privacy-Preserving Inter-Organizational Process Mining.

[BibT_eX]

[DOI]

Gamal Elkoumy

Stephan A. Fahrenkrog-Petersen

Proceedings of the Best Dissertation Award, 2020

2019

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

[BibT_eX]

[DOI]

Raimundas Matulevicius

Inform. Spektrum, 2019

Accelerate Performance for Elliptic Curve Scalar Multiplication based on NAF by Parallel Computing.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Information Systems Security and Privacy, 2019

Business Process Privacy Analysis in Pleak.

[BibT_eX]

[DOI]

Raimundas Matulevicius

Proceedings of the Fundamental Approaches to Software Engineering, 2019

Mapping the Information Flows for the Architecture of a Nationwide Situation Awareness System : (Poster).

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Cognitive and Computational Aspects of Situation Management, 2019

2018

Achieving Differential Privacy using Methods from Calculus.

[BibT_eX]

[DOI]

CoRR, 2018

Disclosure Analysis of SQL Workflows.

[BibT_eX]

[DOI]

Marlon Dumas

Proceedings of the 5th International Workshop on Graphical Models for Security, 2018

Sensitivity Analysis of SQL Queries.

[BibT_eX]

[DOI]

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

Bit Decomposition Protocols in Secure Multiparty Computation.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Encrypted Computing & Applied Homomorphic Cryptography, 2018

2017

Preprocessing Based Verification of Multiparty Protocols with Honest Majority.

[BibT_eX]

[DOI]

Roman Jagomägis

Proc. Priv. Enhancing Technol., 2017

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

[BibT_eX]

[DOI]

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

Server-Supported RSA Signatures for Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2017, 2017

2016

Optimizing Secure Computation Programs with Private Conditionals.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

Securing Multiparty Protocols against the Exposure of Data to Honest Parties.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

Secure Multiparty Sorting Protocols with Covert Privacy.

[BibT_eX]

[DOI]

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

Optimizing MPC for Robust and Scalable Integer and Floating-Point Arithmetic.

[BibT_eX]

[DOI]

Liisi Kerik

Proceedings of the Financial Cryptography and Data Security, 2016

Differential Privacy Analysis of Data Processing Workflows.

[BibT_eX]

[DOI]

Marlon Dumas

Proceedings of the Graphical Models for Security - Third International Workshop, 2016

2015

Parallel Oblivious Array Access for Secure Multiparty Computation and Privacy-Preserving Minimum Spanning Trees.

[BibT_eX]

[DOI]

Proc. Priv. Enhancing Technol., 2015

Combining Differential Privacy and Secure Multiparty Computation.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

Preprocessing-Based Verification of Multiparty Protocols with Honest Majority.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

Privacy-preserving Frequent Itemset Mining for Sparse and Dense Data.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

Transformation-Based Outsourcing of Linear Equation Systems over Real Numbers.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

Privacy preserving business process matching.

[BibT_eX]

[DOI]

Dilian Gurov

Roberto Guanciale

Proceedings of the 13th Annual Conference on Privacy, Security and Trust, 2015

A Domain-Specific Language for Low-Level Secure Multiparty Computation Protocols.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

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

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2014

Composable Oblivious Extended Permutations.

[BibT_eX]

[DOI]

Jan Willemson

IACR Cryptol. ePrint Arch., 2014

Verifiable Computation in Multiparty Protocols with Honest Majority.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2014

Efficient Oblivious Parallel Array Reads and Writes for Secure Multiparty Computation.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2014

Bounded Pre-Image Awareness and the Security of Hash-Tree Keyless Signatures.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2014

From Input Private to Universally Composable Secure Multiparty Computation Primitives.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2014

Private intersection of regular languages.

[BibT_eX]

[DOI]

Roberto Guanciale

Dilian Gurov

Proceedings of the 2014 Twelfth Annual International Conference on Privacy, 2014

A Private Lookup Protocol with Low Online Complexity for Secure Multiparty Computation.

[BibT_eX]

[DOI]

Proceedings of the Information and Communications Security - 16th International Conference, 2014

From Input Private to Universally Composable Secure Multi-party Computation Primitives.

[BibT_eX]

[DOI]

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

Universally composable privacy preserving finite automata execution with low online and offline complexity.

[BibT_eX]

[DOI]

Jan Willemson

IACR Cryptol. ePrint Arch., 2013

New Attacks against Transformation-Based Privacy-Preserving Linear Programming.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2013

Domain-Polymorphic Programming of Privacy-Preserving Applications.

[BibT_eX]

[DOI]

Dan Bogdanov

IACR Cryptol. ePrint Arch., 2013

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

[BibT_eX]

[DOI]

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

Specifying sharemind's arithmetic black box.

[BibT_eX]

[DOI]

Proceedings of the PETShop'13, 2013

On the (Im)possibility of privately outsourcing linear programming.

[BibT_eX]

[DOI]

Proceedings of the CCSW'13, 2013

Domain-polymorphic language for privacy-preserving applications.

[BibT_eX]

[DOI]

Dan Bogdanov

Proceedings of the PETShop'13, 2013

2012

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

[BibT_eX]

[DOI]

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

Secure Implementation of Asynchronous Method Calls and Futures.

[BibT_eX]

[DOI]

Proceedings of the Trusted Systems, 4th International Conference, 2012

Symbolic Analysis of Cryptographic Protocols Containing Bilinear Pairings.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

2011

Strong Forward Security in Identity-Based Signcryption.

[BibT_eX]

[DOI]

Madeline González Muñiz

IACR Cryptol. ePrint Arch., 2011

The Application of I-Voting for Estonian Parliamentary Elections of 2011.

[BibT_eX]

[DOI]

Sven Heiberg

Jan Willemson

Proceedings of the E-Voting and Identity - Third International Conference, 2011

On the (im)possibility of perennial message recognition protocols without public-key cryptography.

[BibT_eX]

[DOI]

Madeline González Muñiz

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Implementing Cryptographic Primitives in the Symbolic Model.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2011

Formal Security Analysis of OpenID with GBA Protocol.

[BibT_eX]

[DOI]

Abu Shohel Ahmed

Proceedings of the Security and Privacy in Mobile Information and Communication Systems, 2011

Secure mobile access to homecare patients' data.

[BibT_eX]

[DOI]

Proceedings of the ICEGOV 2011, 2011

2009

Formal Analysis of the Estonian Mobile-ID Protocol.

[BibT_eX]

[DOI]

Meelis Roos

Proceedings of the Identity and Privacy in the Internet Age, 2009

A User Interface for a Game-Based Protocol Verification Tool.

[BibT_eX]

[DOI]

Ilja Tsahhirov

Proceedings of the Formal Aspects in Security and Trust, 6th International Workshop, 2009

2008

Threshold Homomorphic Encryption in the Universally Composable Cryptographic Library.

[BibT_eX]

[DOI]

Long Ngo

IACR Cryptol. ePrint Arch., 2008

On the computational soundness of cryptographically masked flows.

[BibT_eX]

[DOI]

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

2007

Application of Dependency Graphs to Security Protocol Analysis.

[BibT_eX]

[DOI]

Ilja Tsahhirov

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

2006

Type systems equivalent to data-flow analyses for imperative languages.

[BibT_eX]

[DOI]

Tarmo Uustalu

Varmo Vene

Theor. Comput. Sci., 2006

Computationally Sound Secrecy Proofs by Mechanized Flow Analysis.

[BibT_eX]

[DOI]

Michael Backes

IACR Cryptol. ePrint Arch., 2006

Rational Choice of Security Measures Via Multi-parameter Attack Trees.

[BibT_eX]

[DOI]

Proceedings of the Critical Information Infrastructures Security, 2006

2005

Universally Composable Time-Stamping Schemes with Audit.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2005

A Type System for Computationally Secure Information Flow.

[BibT_eX]

[DOI]

Varmo Vene

Proceedings of the Fundamentals of Computation Theory, 15th International Symposium, 2005

Secrecy types for a simulatable cryptographic library.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005

2004

Symmetric Encryption in Automatic Analyses for Confidentiality against Active Adversaries.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE Symposium on Security and Privacy (S&P 2004), 2004

2003

Sound Computational Interpretation of Formal Encryption with Composed Keys.

[BibT_eX]

[DOI]

Ricardo Corin

Proceedings of the Information Security and Cryptology, 2003

Handling Encryption in an Analysis for Secure Information Flow.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2003

2002

Computationally secure information flow.

[BibT_eX]

[DOI]

PhD thesis, 2002

Eliminating Counterevidence with Applications to Accountable Certificate Management.

[BibT_eX]

[DOI]

Ahto Buldas

Helger Lipmaa

J. Comput. Secur., 2002

2001

Semantics and Program Analysis of Computationally Secure Information Flow.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2001

2000

Accountable Certificate Management using Undeniable Attestations.

[BibT_eX]

[DOI]

Ahto Buldas

Helger Lipmaa

IACR Cryptol. ePrint Arch., 2000

1998

New linking schemes for digital time-stamping.

[BibT_eX]

Ahto Buldas