Verifiable Decryption in the Head - Archive ouverte HAL Access content directly
Conference Papers Year : 2022

Verifiable Decryption in the Head

(1) , (1, 2) , (3) , (4) , (1)


In this work we present a new approach to verifiable decryption which converts a 2-party passively secure distributed decryption protocol into a 1-party proof of correct decryption. This leads to an efficient and simple verifiable decryption scheme for lattice-based cryptography, especially for large sets of ciphertexts; it has small size and lightweight computations as we reduce the need of zero-knowledge proofs for each ciphertext. We believe the flexibility of the general technique is interesting and provides attractive trade-offs between complexity and security, in particular for the interactive variant with smaller soundness. Finally, the protocol requires only very simple operations, making it easy to correctly and securely implement in practice. We suggest concrete parameters for our protocol and give a proof of concept implementation, showing that it is highly practical.
Fichier principal
Vignette du fichier
Camera_ready.pdf (451.34 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03913553 , version 1 (27-12-2022)



Kristian Gjøsteen, Thomas Haines, Johannes Müller, Peter Rønne, Tjerand Silde. Verifiable Decryption in the Head. Australasian Conference on Information Security and Privacy, Nov 2022, Wollongong, Australia. pp.355-374, ⟨10.1007/978-3-031-22301-3_18⟩. ⟨hal-03913553⟩
0 View
0 Download



Gmail Facebook Twitter LinkedIn More