Abstract:A popular methodology of designing cryptosystems with practical efficiency is to give a security proof in the random oracle RO model. The work of Fischlin and Fleischhacker Eurocryptï¾¿'13 investigated the case of Schnorr signature and generally, Fiat-Shamir signatures and showed the reliance of RO model is inherent. We generalize their results to a large class of \"malleable\" hash-and-sign signatures, where one can efficiently \"maul\"any two valid signatures between two signature instances with different public keys if it can get the difference between the secret keys. We follow the technique of Fischlin and Fleischhacker to show that the security of malleable hash-and-sign signature cannot be reduced to its related hard cryptographic problem without programming the RO. Our proof assumes the hardness of a one-more cryptographic problem depending on the signature instantiation. Our result applies to single-instance black-box reductions, subsuming those reductions used in existing proofs. Our framework not only encompasses Fiat-Shamir signatures as special cases, but also covers $$\\Gamma $$-signature Yao and Zhao, IEEE Transactions on Information Forensics and Securityï¾¿'13, and other schemes which implicitly used malleable hash-and-sign signatures, including Boneh-Franklin identity-based encryption, and Sakai-Ohgishi-Kasahara non-interactive identity-based key exchange.

On Computing Signatures of Coherent Systems

On Computing Signatures of

On the Signature of Complex System: A Decomposed Approach.

On Computing Signatures of k -out-of- n Systems Consisting of Modules

An efficient algorithm for computing the signatures of systems with exchangeable components and applications

Characterization of system signatures

The joint survival signature of coherent systems with shared components

The Signature Kernel

Quantum Homomorphic Signature Using Coherent States

Infinite-Dimensional System Signature: System Signature Under the Repairable Principle

On Signatures and Authentication

Signatures of Knowledge of Discrete Logarithm with Coefficient

From the global signature to higher signatures

Unified Signature Cumulants and Generalized Magnus Expansions

Black-Box Separations of Hash-and-Sign Signatures in the Non-Programmable Random Oracle Model.

Stable Coherent Systems

A BARLOW AND PROSCHAN'S CONJECTURE CONCERNING COHERENT SYSTEM RELIABILITY BOUNDS

Reliability Analysis of Discrete Multi-State Systems Based on Survival Signature

Complexity of null dynamical systems and Sauer--Shelah lemmas

Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra

On the signature of an image