| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2025-07-08 17:05 条件付き独立性によるプロービング安全性の形式検証に向けて ○内藏理史・高島克幸（早大）  ISEC2025-51 SITE2025-41 BioX2025-65 HWS2025-40 ICSS2025-51 EMM2025-54 |
|
| 抄録 | （和） | 暗号アルゴリズムのサイドチャネル攻撃，特にプロービングに対する安全性を形式的に検証するためには「非干渉性」という概念がよく用いられる．本研究では非干渉性と条件付き独立性との繋がりに着目して新しい視点からの形式検証のアプローチを提案する．具体的には2023年に提案された条件付き独立性を扱える分離論理Lilacをどのようにプロービング安全性の形式検証へと繋げるかを示す． |
| （英） | To formally verify the security of cryptographic algorithms against side-channel attacks --- particularly probing attacks --- the concept of noninterference is often employed. This work proposes a novel approach to formal verification by focusing on the connection between noninterference and conditional independence. Specifically, we show how to leverage Lilac, a separation logic proposed in 2023 that can handle conditional independence, to formally verify probing security. | |
| キーワード | （和） | サイドチャネル攻撃 / マスキング / 非干渉性 / 条件付き独立性 / 形式検証 / / / |
| （英） | side-channel attack / masking / non-interference / conditional independence / formal verification / / / | |
| 文献情報 | 信学技報, vol. 125, no. 99, ISEC2025-51, pp. 224-230, 2025年7月. | |
| 資料番号 | ISEC2025-51 | |
| 発行日 | 2025-06-30 (ISEC, SITE, BioX, HWS, ICSS, EMM) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | ISEC2025-51 SITE2025-41 BioX2025-65 HWS2025-40 ICSS2025-51 EMM2025-54 |
|
| 研究会情報 | |
| 研究会 | HWS BioX ISEC SITE ICSS EMM IPSJ-CSEC IPSJ-SPT |
| 開催期間 | 2025-07-07 - 2025-07-09 |
| 開催地（和） | 札幌コンベンションセンター |
| 開催地（英） | Sapporo Convention Center |
| テーマ（和） | セキュリティ、一般 （セキュリティサマーサミット2025） |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | ISEC |
| 会議コード | 2025-07-HWS-BioX-ISEC-SITE-ICSS-EMM-CSEC-SPT |
| 本文の言語 | 日本語 |
| タイトル（和） | 条件付き独立性によるプロービング安全性の形式検証に向けて |
| サブタイトル（和） | |
| タイトル（英） | Towards Formal Verification of Probing Security via Conditional Independence |
| サブタイトル（英） | |
| キーワード(1)（和/英） | サイドチャネル攻撃 / side-channel attack |
| キーワード(2)（和/英） | マスキング / masking |
| キーワード(3)（和/英） | 非干渉性 / non-interference |
| キーワード(4)（和/英） | 条件付き独立性 / conditional independence |
| キーワード(5)（和/英） | 形式検証 / formal verification |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 内藏 理史 / Satoshi Kura / |
| 第1著者 所属（和/英） | 早稲田大学 (略称： 早大) Waseda University (略称： Waseda Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 高島 克幸 / Katsuyuki Takashima / |
| 第2著者 所属（和/英） | 早稲田大学 (略称： 早大) Waseda University (略称： Waseda Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2025-07-08 17:05:00 |
| 発表時間 | 25分 |
| 申込先研究会 | ISEC |
| 資料番号 | ISEC2025-51, SITE2025-41, BioX2025-65, HWS2025-40, ICSS2025-51, EMM2025-54 |
| 巻番号（vol） | vol.125 |
| 号番号（no） | no.99(ISEC), no.100(SITE), no.101(BioX), no.102(HWS), no.103(ICSS), no.104(EMM) |
| ページ範囲 | pp.224-230 |
| ページ数 | 7 |
| 発行日 | 2025-06-30 (ISEC, SITE, BioX, HWS, ICSS, EMM) |
[研究会発表申込システムのトップページに戻る]