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

Masayuki Fukumitsu, Shingo Hasegawa

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    7 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 discrete logarithm assumption and the security of the Schnorr signature via a singleinstance key-preserving reduction, whereas Fischlin and Fleischhacker showed that such an incompatibility cannot be proven via a non-keypreserving reduction.

    Original languageEnglish
    Title of host publicationInformation Security - 18th International Conference, ISC 2015, Proceedings
    EditorsJavier Lopez, Chris J. Mitchell
    PublisherSpringer-Verlag
    Pages3-20
    Number of pages18
    ISBN (Print)9783319233178
    DOIs
    Publication statusPublished - 2015 Jan 1
    Event18th International Conference on Information Security, ISC 2015 - Trondheim, Norway
    Duration: 2015 Sep 92015 Sep 11

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume9290
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Other

    Other18th International Conference on Information Security, ISC 2015
    CountryNorway
    CityTrondheim
    Period15/9/915/9/11

    Keywords

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

    ASJC Scopus subject areas

    • Theoretical Computer Science
    • Computer Science(all)

    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

    Fukumitsu, M., & Hasegawa, S. (2015). Black-box separations on fiat-shamir-type signatures in the non-programmable random oracle model. In J. Lopez, & C. J. Mitchell (Eds.), Information Security - 18th International Conference, ISC 2015, Proceedings (pp. 3-20). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9290). Springer-Verlag. https://doi.org/10.1007/978-3-319-23318-5_1