Giving an adversary guarantees (or: how to model designated verifier signatures in a composable framework)

DOI10.1007/978-3-030-92078-4_7MaRDI QIDQ6157549zbMATH OpenOpenAlexFDO

Authors Ueli M. Maurer, Christopher Portmann, Guilherme Rito

Publication date 12 May 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/20.500.11850/520644

zbMATH Keywords

designated verifier signature schemesMDVS schemes

Mathematics Subject Classification ID

Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Rigorous security requirements for designated verifier signatures
• Automata, Languages and Programming
• Designated verifier proofs and their applications
• Designated Confirmer Signatures Revisited
• Stronger security and constructions of multi-designated verifier signatures

Cites work

• scientific article; zbMATH DE number 2081086 (Why is no real title available?)
• scientific article; zbMATH DE number 2086702 (Why is no real title available?)
• Automata, Languages and Programming
• Constructing confidential channels from authenticated channels-public-key encryption revisited
• Constructive cryptography -- a new paradigm for security definitions and proofs
• Designated verifier proofs and their applications
• From Indifferentiability to Constructive Cryptography (and Back)
• GNUC: a new universal composability framework
• Indistinguishability Amplification
• Information Security
• Information Security and Cryptology - ICISC 2003
• Information and Communications Security
• On composable security for digital signatures
• Overcoming impossibility results in composable security using interval-wise guarantees
• Public Key Cryptography – PKC 2004
• Security in Communication Networks
• Stronger security and constructions of multi-designated verifier signatures
• The reactive simulatability (RSIM) framework for asynchronous systems
• Theory of Cryptography
• Universal designated-verifier signatures
• Universally Composable Security with Global Setup
• Universally composable incoercibility

Cited in

(4)

• On composable security for digital signatures
• Rigorous security requirements for designated verifier signatures
• Multi-designated receiver signed public key encryption
• Deniable authentication when signing keys leak

This page was built for publication: Giving an adversary guarantees (or: how to model designated verifier signatures in a composable framework)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6157549)