Available on ORBilu since
03 August 2022
Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Verifiable Decryption in the Head
Gjosteen, Kristian; Haines, Thomas; Mueller, Johannes et al.
2022In ACISP 2022
Peer reviewed


Full Text
Publisher postprint (462.38 kB)

All documents in ORBilu are protected by a user license.

Send to


Abstract :
[en] 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.
Disciplines :
Computer science
Author, co-author :
Gjosteen, Kristian;  NTNU Trondheim
Haines, Thomas;  Australian National University
Mueller, Johannes ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > APSIA
Roenne, Peter ;  Universite de Lorraine, CNRS, LORIA
Silde, Tjerand;  NTNU Trondheim
External co-authors :
Language :
Title :
Verifiable Decryption in the Head
Publication date :
Event name :
27th Australasian Conference on Information Security and Privacy
Event date :
28 - 30 November 2022
Main work title :
ACISP 2022
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
FnR Project :
FNR14698166 > Johannes Mueller > FP2 > Future-proofing Privacy In Secure Electronic Voting > 01/01/2021 > 31/12/2023 > 2020


Number of views
67 (3 by Unilu)
Number of downloads
66 (3 by Unilu)

Scopus citations®
Scopus citations®
without self-citations


Similar publications

Contact ORBilu