Generic Constructions for Verifiably Encrypted Signatures without Random Oracles or NIZKs

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 in...

• Type: Conference
• Year: 2010
• Where: ACNS
• Authors: Markus Rückert, Michael Schneider 0002, Dominique Schröder
• Keywords: ACNS 2010, Cryptology, Secret Masking Value, Signature, Standard Model