Black-box separations on fiat-shamir-type signatures in the non-programmable random oracle model

Masayuki Fukumitsu, Shingo Hasegawa

    Research output: Contribution to journalArticlepeer-review

    2 Citations (Scopus)

    Abstract

    In recent years, Fischlin and Fleischhacker showed the impossibility of proving the security of specific types of FS-type signatures, the signatures constructed by the Fiat-Shamir transformation, via a single-instance reduction in the non-programmable random oracle model (NPROM, for short). In this paper, we pose a question whether or not the impossibility of proving the security of any FS-type signature can be shown in the NPROM. For this question, we show that each FS-type signature cannot be proven to be secure via a key-preserving reduction in the NPROM from the security against the impersonation of the underlying identification scheme under the passive attack, as long as the identification scheme is secure against the impersonation under the active attack. We also show the security incompatibility between the security of some FS-type signatures in the NPROM via a single-instance key-preserving reduction and the underlying cryptographic assumptions. By applying this result to the Schnorr signature, one can prove the incompatibility between the security of the Schnorr signature in this situation and the discrete logarithm assumption, whereas Fischlin and Fleischhacker showed that such an incompatibility cannot be proven via a non-key-preserving reduction.

    Original languageEnglish
    Pages (from-to)77-87
    Number of pages11
    JournalIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
    VolumeE101A
    Issue number1
    DOIs
    Publication statusPublished - 2018 Jan

    Keywords

    • Fiat-Shamir transformation
    • Meta-reduction
    • Non-programmable random oracle model

    ASJC Scopus subject areas

    • Signal Processing
    • Computer Graphics and Computer-Aided Design
    • Electrical and Electronic Engineering
    • Applied Mathematics

    Fingerprint Dive into the research topics of 'Black-box separations on fiat-shamir-type signatures in the non-programmable random oracle model'. Together they form a unique fingerprint.

    Cite this