2 citations · 2 across the 4 of their papers we have counts for
6 papers
Modal Logic for Distributed Trust
Niels Voorneveld, Peeter Laud
We propose a method for reasoning about trust in multi-agent systems, specifying a language for describing communication protocols and making trust assumptions and derivations. Thi…
Zero-Knowledge Proof-of-Location Protocols for Vehicle Subsidies and Taxation Compliance
Dan Bogdanov, Eduardo Brito, Annika Jaakson +2
This paper introduces a new set of privacy-preserving mechanisms for verifying compliance with location-based policies for vehicle taxation, or for (electric) vehicle (EV) subsidie…
Privacy-preserving server-supported decryption
Peeter Laud, Alisa Pankova, Jelizaveta Vakarjuk
In this paper, we consider encryption systems with two-out-of-two threshold decryption, where one of the parties (the client) initiates the decryption and the other one (the server…
Content Confidentiality in Named Data Networking
Aleksandr Lenin, Peeter Laud
In this paper we present the design of name based access control scheme which facilitates data confidentiality by applying end-to-end encryption to data published on NDN with flexi…
Secure Multi-Party Computation for Inter-Organizational Process Mining
Gamal Elkoumy, Stephan A. Fahrenkrog-Petersen, Marlon Dumas +3
Process mining is a family of techniques for analysing business processes based on event logs extracted from information systems. Mainstream process mining tools are designed for i…
Business Process Privacy Analysis in Pleak
Aivo Toots, Reedik Tuuling, Maksym Yerokhin +8
Pleak is a tool to capture and analyze privacy-enhanced business process models to characterize and quantify to what extent the outputs of a process leak information about its inpu…