Generic constructions for verifiably encrypted signatures without random oracles or NIZKs

Rückert M, Schneider M, Schröder D (2010)


Publication Status: Published

Publication Type: Authored book, Volume of book series

Publication year: 2010

Series: Applied Cryptography and Network Security, ACNS 2010

Pages Range: 69-86

Event location: Beijing

ISBN: 9783642137075

DOI: 10.1007/978-3-642-13708-2_5

Abstract

Verifiably encrypted signature schemes (VES) allow a signer to encrypt his or her signature under the public key of a trusted third party, while maintaining public signature verifiability. With our work, we propose two generic constructions based on Merkle authentication trees that do not require non-interactive zero-knowledge proofs (NIZKs) for maintaining verifiability. Both are stateful and secure in the standard model. Furthermore, we extend the specification for VES, bringing it closer to real-world needs. We also argue that statefulness can be a feature in common business scenarios. Our constructions rely on the assumption that CPA (even slightly weaker) secure encryption, "maskable" CMA secure signatures, and collision resistant hash functions exist. "Maskable" means that a signature can be hidden in a verifiable way using a secret masking value. Unmasking the signature is hard without knowing the secret masking value. We show that our constructions can be instantiated with a broad range of efficient signature and encryption schemes, including two lattice-based primitives. Thus, VES schemes can be based on the hardness of worstcase lattice problems, making them secure against subexponential and quantum-computer attacks. Among others, we provide the first efficient pairing-free instantiation in the standard model. © 2010 Springer-Verlag Berlin Heidelberg.

Authors with CRIS profile

How to cite

APA:

Rückert, M., Schneider, M., & Schröder, D. (2010). Generic constructions for verifiably encrypted signatures without random oracles or NIZKs.

MLA:

Rückert, Markus, Michael Schneider, and Dominique Schröder. Generic constructions for verifiably encrypted signatures without random oracles or NIZKs. 2010.

BibTeX: Download