| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2026-04-17 14:25 故障注入攻撃に対するGPVフレームワークの安全性証明 ○髙橋朋伽・宮地充子（阪大）  HWS2026-2 |
|
| 抄録 | （和） | IoT機器の普及に伴い，故障注入攻撃を想定した安全性解析の重要性が高まっている．AranhaらはEUROCRYPT 2020において，署名生成中の故障注入を考慮した安全性モデルEUF-fCMAを提案した．先行研究ではFiat-Shamir署名のEUF-fCMA安全性は活発に解析されているが，もう一方の主要構成法であるHash-and-Sign署名に対しては十分な解析が行われていない． 本研究では，Hash-and-Sign署名における1ビット故障耐性をランダムオラクルモデル下で明らかにする．具体的には，Falconの基盤であるGPVフレームワークを解析対象とし，故障注入における堅牢な箇所と脆弱な箇所を特定した． |
| （英） | With the spread of IoT devices, the importance of security analysis against fault attacks has increased. At EUROCRYPT 2020, Aranha et al. proposed EUF-fCMA security, which accounts for fault injections during signature generation. While the EUF-fCMA security of Fiat-Shamir signatures has been proved in prior work, the other major signature paradigm, Hash-and-Sign signatures, has not yet undergone formal security analysis. In this study, we prove the 1-bit fault resistance of Hash-and-Sign signatures in the random oracle model. Specifically, we analyze the GPV framework, the core construction of Falcon, and identify whether each position is robust or vulnerable to faults. | |
| キーワード | （和） | hash-and-sign署名 / GPVフレームワーク / 故障注入攻撃 / 耐量子計算機暗号 / ランダムオラクルモデル / / / |
| （英） | hash-and-sign signature / GPV framework / fault attack / post-quantum cryptography / random oracle model / / / | |
| 文献情報 | 信学技報, vol. 126, no. 4, HWS2026-2, pp. 6-11, 2026年4月. | |
| 資料番号 | HWS2026-2 | |
| 発行日 | 2026-04-10 (HWS) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | HWS2026-2 |
|
| 研究会情報 | |
| 研究会 | HWS |
| 開催期間 | 2026-04-17 - 2026-04-17 |
| 開催地（和） | 富山県民会館 |
| 開催地（英） | Toyama Kenmin Kaikan |
| テーマ（和） | ハードウェアセキュリティ，一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | HWS |
| 会議コード | 2026-04-HWS |
| 本文の言語 | 日本語 |
| タイトル（和） | 故障注入攻撃に対するGPVフレームワークの安全性証明 |
| サブタイトル（和） | |
| タイトル（英） | Security of the GPV Framework under Fault Attacks |
| サブタイトル（英） | |
| キーワード(1)（和/英） | hash-and-sign署名 / hash-and-sign signature |
| キーワード(2)（和/英） | GPVフレームワーク / GPV framework |
| キーワード(3)（和/英） | 故障注入攻撃 / fault attack |
| キーワード(4)（和/英） | 耐量子計算機暗号 / post-quantum cryptography |
| キーワード(5)（和/英） | ランダムオラクルモデル / random oracle model |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 髙橋 朋伽 / Tomoka Takahashi / タカハシ トモカ |
| 第1著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： Osaka Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 宮地 充子 / Atsuko Miyaji / ミヤジ アツコ |
| 第2著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： Osaka Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2026-04-17 14:25:00 |
| 発表時間 | 25分 |
| 申込先研究会 | HWS |
| 資料番号 | HWS2026-2 |
| 巻番号（vol） | vol.126 |
| 号番号（no） | no.4 |
| ページ範囲 | pp.6-11 |
| ページ数 | 6 |
| 発行日 | 2026-04-10 (HWS) |
[研究会発表申込システムのトップページに戻る]