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

Masayuki Fukumitsu, Shingo Hasegawa

    研究成果: Conference contribution

    6 被引用数 (Scopus)

    抄録

    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.

    本文言語English
    ホスト出版物のタイトルInformation Security - 19th International Conference, ISC 2016, Proceedings
    編集者Matt Bishop, Anderson C.A. Nascimento
    出版社Springer-Verlag
    ページ389-407
    ページ数19
    ISBN(印刷版)9783319458700
    DOI
    出版ステータスPublished - 2016 1月 1
    イベント19th Annual International Conference on Information Security, ISC 2016 - Honolulu, United States
    継続期間: 2016 9月 32016 9月 6

    出版物シリーズ

    名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    9866 LNCS
    ISSN(印刷版)0302-9743
    ISSN(電子版)1611-3349

    Other

    Other19th Annual International Conference on Information Security, ISC 2016
    国/地域United States
    CityHonolulu
    Period16/9/316/9/6

    ASJC Scopus subject areas

    • 理論的コンピュータサイエンス
    • コンピュータ サイエンス(全般)

    フィンガープリント

    「Impossibility on the provable security of the Fiat-Shamir-type signatures in the non-programmable random oracle model」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    引用スタイル