@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00214503,
 author = {福光, 正幸 and 長谷川, 真吾 and Masayuki, Fukumitsu and Shingo, Hasegawa},
 book = {コンピュータセキュリティシンポジウム2021論文集},
 month = {Oct},
 note = {Fiat-Shamir 型署名の安全性証明については多くの研究がなされているが，ランダムオラクルモデルにおける証明では, 帰着効率を tight にできないことが知られている．しかしながら, 代表的な Fiat-Shamir 型証明である Schnorr 署名について，Fuchsbauer, Plouviez, Seurin は攻撃アルゴリズムが Algebraic  な場合に，上記の不可能性を突破し，tight な安全性証明を構築できることを示した．本稿では, 彼らの結果が一般の Fiat-Shamir 型署名においても成立することを示す．, There exist many results on the provable security of the Fiat-Shamir (FS)-type signatures. Especially, it is known that the tight security proof for the FS-type signatures cannot be achieved in the random oracle model. However, Fuchsbauer, Plouviez, Seurin overcame the barrier and constructed the tight security proof when the adversary algebraic. In this paper, we aim to generalize their results.},
 pages = {763--770},
 publisher = {情報処理学会},
 title = {Algebraic Group ModelにおけるFiat-Shamir変換},
 year = {2021}
}