Impossibility on the provable security of the Fiat-Shamir-type signatures in the non-programmable random oracle model

Masayuki Fukumitsu, Shingo Hasegawa

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

    5 Citations (Scopus)

    Abstract

    On the security of Fiat-Shamir (FS) type signatures, some negative circumstantial evidences were given in the non-programmable random oracle model (NPROM). Fischlin and Fleischhacker first showed an impossibility for specific FS-type signatures via a single-instance reduction. In ISC 2015, Fukumitsu and Hasegawa found another conditions to prove such an impossibility, however their result requires a strong condition on a reduction, i.e. a key-preserving reduction. In this paper, we focus on a non-key-preserving reduction, and then we show that an FS-type signature cannot be proven to be secure in the NPROM via a sequentially multi-instance reduction from the security of the underlying ID scheme. Our result can be interpreted as a generalization of the two impossibility results introduced above. By applying our impossibility result, the security incompatibility between the DL assumption and the security of the Schnorr signature in the NPROM via a sequentially multi-instance reduction can be shown. Our incompatibility result means that the security of the Schnorr signature is not likely to be proven in the NPROM.

    Original languageEnglish
    Title of host publicationInformation Security - 19th International Conference, ISC 2016, Proceedings
    EditorsMatt Bishop, Anderson C.A. Nascimento
    PublisherSpringer-Verlag
    Pages389-407
    Number of pages19
    ISBN (Print)9783319458700
    DOIs
    Publication statusPublished - 2016 Jan 1
    Event19th Annual International Conference on Information Security, ISC 2016 - Honolulu, United States
    Duration: 2016 Sep 32016 Sep 6

    Publication series

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

    Other

    Other19th Annual International Conference on Information Security, ISC 2016
    CountryUnited States
    CityHonolulu
    Period16/9/316/9/6

    Keywords

    • Fiat-Shamir transformation
    • Meta-reduction
    • Nonprogrammable random oracle model
    • Schnorr signature
    • Static message attack

    ASJC Scopus subject areas

    • Theoretical Computer Science
    • Computer Science(all)

    Fingerprint Dive into the research topics of 'Impossibility on the provable security of the Fiat-Shamir-type signatures in the non-programmable random oracle model'. Together they form a unique fingerprint.

  • Cite this

    Fukumitsu, M., & Hasegawa, S. (2016). Impossibility on the provable security of the Fiat-Shamir-type signatures in the non-programmable random oracle model. In M. Bishop, & A. C. A. Nascimento (Eds.), Information Security - 19th International Conference, ISC 2016, Proceedings (pp. 389-407). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9866 LNCS). Springer-Verlag. https://doi.org/10.1007/978-3-319-45871-7_23