Reference : Verifiable Decryption in the Head
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Security, Reliability and Trust
Verifiable Decryption in the Head
Gjosteen, Kristian mailto [NTNU Trondheim]
Haines, Thomas mailto [Australian National University]
Mueller, Johannes mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > APSIA >]
Roenne, Peter mailto [Universite de Lorraine, CNRS, LORIA]
Silde, Tjerand mailto [NTNU Trondheim]
ACISP 2022
27th Australasian Conference on Information Security and Privacy
28 - 30 November 2022
[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.
FnR ; FNR14698166 > Johannes Mueller > FP2 > Future-proofing Privacy In Secure Electronic Voting > 01/01/2021 > 31/12/2023 > 2020

File(s) associated to this reference

Fulltext file(s):

Open access
main.pdfPublisher postprint451.54 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.