3 papers
cs.LO2026
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…
cs.CR2025
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…
cs.CR2024
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…