学位

• 博士（情報科学）(東北大学大学院情報科学研究科)
• ()

経歴

学歴

受賞

• 船井研究奨励賞
• MobiSec 2023 KIISC Best Paper Award
• DICOMO2023優秀論文賞
• WICS 2023 Best Paper Award
• APKC 2023 Best Paper Award
• ISEC研究会活動貢献感謝状
• ISEC研究会活動貢献感謝状
• ISEC研究会活動貢献感謝状
• CSEC優秀研究賞
• RIEC Award 東北大学学生賞
• CSS2021学生論文賞
• 第16回野口研究奨励賞
• APKC 2021 Best Paper Awards
• CSEC優秀研究賞
• ISEC研究会活動貢献感謝状
• CSEC優秀研究賞
• 東北大学大学院情報科学研究科長賞
• 東北大学総長賞
• DICOMO2019優秀論文賞
• DICOMO2019優秀プレゼンテーション賞
• サイバーセキュリティシンポジウム道後2019学生研究賞
• ISEC研究会活動貢献感謝状
• 情報セキュリティ研究奨励賞

その他

論文

• Secure Voting Protocol Using Balance Scale
• How to Play Old Maid with Virtual Players
• ZKP Protocols for Usowan, Herugolf, and Five Cells [DOI] [Othres link]
• Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles [DOI] [Othres link]
• Practical Randomness Effects on Physical Security in Second-Order Threshold Implementation of AES [DOI] [Othres link]
• Efficient Card-Based ZKP for Single Loop Condition and Its Application to Moon-or-Sun [DOI] [Othres link] [Othres link]
• All You Need Is Fault: Zero-Value Attacks on AES and a New λ-Detection M&M [DOI] [Othres link]
• スマートフォンを利用したサイドチャネル情報の取得に関する基礎研究
• On the Practical Dependency of Fresh Randomness in AES S-box with Second-Order TI [DOI] [Othres link]
• Physical ZKP protocols for Nurimisaki and Kurodoko [DOI]
• Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun [DOI]
• Few-helping-card Protocols for Some Wider Class of Symmetric Boolean Functions with Arbitrary Ranges [DOI] [Othres link]
• Towards Verifying Physical Assumption in Card-Based Cryptography [DOI] [Othres link]
• Software Evaluation for Second Round Candidates in NIST Lightweight Cryptography [DOI] [Othres link]
• Hide a Liar: Card-Based ZKP Protocol for Usowan [DOI] [Othres link]
• Secure Computations Through Checking Suits of Playing Cards [DOI] [Othres link]
• Card-Based ZKP Protocol for Nurimisaki [DOI] [Othres link]
• Optimized Software Implementations of Ascon, Grain-128AEAD, and TinyJambu on ARM Cortex-M0 [DOI] [Othres link]
• Card-Minimal Protocols for Three-Input Functions with Standard Playing Cards [DOI] [Othres link]
• Card-Minimal Protocols for Symmetric Boolean Functions of More than Seven Inputs [DOI] [Othres link]
• Card-Based Secure Sorting Protocol [DOI] [Othres link]
• Card-based Single-shuffle Protocols for Secure Multiple-input AND and XOR Computations [DOI]
• Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle [DOI]
• Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake [DOI] [Othres link] [Othres link]
• Another Use of the Five-Card Trick: Card-Minimal Secure Three-Input Majority Function Evaluation [DOI] [Othres link]
• Card-Based Zero-Knowledge Proof Protocols for Graph Problems and Their Computational Model [DOI] [Othres link]
• A Card-Minimal Three-Input AND Protocol Using Two Shuffles [DOI] [Othres link]
• Zero-Knowledge Proof Protocol for Cryptarithmetic Using Dihedral Cards [DOI] [Othres link]
• How to construct physical zero-knowledge proofs for puzzles with a “single loop” condition [DOI]
• Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori [DOI] [Othres link]
• Cooking Cryptographers: Secure Multiparty Computation Based on Balls and Bags [DOI] [Othres link]
• A Secure Three-Input AND Protocol with a Standard Deck of Minimal Cards [DOI] [Othres link]
• New Card-based Copy Protocols Using Only Random Cuts [DOI] [Othres link]
• Efficient Generation of a Card-Based Uniformly Distributed Random Derangement [DOI] [DBLP] [Othres link] [Scopus] [Scopus]
• Actively revealing card attack on card-based protocols [DOI] [Othres link] [Othres link] [Scopus] [Scopus]
• Card-Based Covert Lottery [DOI] [DBLP] [Othres link] [Scopus] [Scopus]
• Card-based protocols for secure ranking computations [DOI] [DBLP] [Scopus] [Scopus] [Othres link]
• Evaluating card-based protocols in terms of execution time [DOI] [Othres link] [Othres link] [Scopus] [Scopus]
• Efficient card-based zero-knowledge proof for Sudoku [DOI] [DBLP] [Scopus] [Scopus] [Othres link]
• Six-Card Finite-Runtime XOR Protocol with Only Random Cut [DOI] [DBLP] [Othres link] [Scopus] [Scopus]
• Card-based ZKP protocols for Takuzu and Juosan [DOI] [DBLP] [Othres link] [Othres link] [Scopus] [Scopus]
• Secure implementations of a random bisection cut [DOI] [DBLP] [Othres link] [Othres link] [Scopus] [Scopus]
• Public-PEZ Cryptography [DOI] [DBLP] [Othres link] [Scopus] [Scopus]
• How to Implement a Non-uniform or Non-closed Shuffle [DOI] [DBLP] [Othres link] [Scopus] [Scopus]
• Physical Zero-Knowledge Proof for Suguru Puzzle [DOI] [DBLP] [Othres link] [Scopus] [Scopus]
• Practical card-based implementations of Yao's millionaire protocol [DOI] [DBLP] [Scopus] [Scopus] [Othres link]
• Card-Based Physical Zero-Knowledge Proof for Kakuro [DOI] [DBLP] [Othres link] [Scopus] [Scopus]
• Interactive Physical Zero-Knowledge Proof for Norinori [DOI] [DBLP] [Othres link] [Scopus] [Scopus]
• Card-Based Protocol Against Actively Revealing Card Attack [DOI] [DBLP] [Othres link] [Scopus] [Scopus]
• A Physical ZKP for Slitherlink: How to Perform Physical Topology-Preserving Computation [DOI] [DBLP] [Othres link] [Scopus] [Scopus]
• Card-Based Secure Ranking Computations [DOI] [DBLP] [Othres link] [Scopus] [Scopus]
• Practical and Easy-to-Understand Card-Based Implementation of Yao’s Millionaire Protocol [DOI] [DBLP] [Othres link] [Scopus] [Scopus]
• Physical Zero-Knowledge Proof for Makaro [DOI] [DBLP] [Othres link] [Scopus] [Scopus]
• Analyzing Execution Time of Card-Based Protocols [DOI] [DBLP] [Othres link] [Scopus] [Scopus]
• The Minimum Number of Cards in Practical Card-Based Protocols [DOI] [DBLP] [Othres link]

その他業績

• Abstraction Model of Probing and DFA Attacks on Block Ciphers [DBLP] [Othres link] [Othres link]

講演・口頭発表等

• シャッフル1回の非コミット型ANDプロトコルに関する一考察
• 月か太陽に対するZKPプロトコル
• ［招待講演］All You Need Is Fault: Zero-Value Attacks on AES and a New $\lambda$-Detection M&M (from TCHES 2024)
• 1つの輪を描くペンシルパズルに対するより効率的なゼロ知識証明
• MLP のハミング距離モデルに基づくサイドチャネル攻撃に対する加算マスキング対策の提案
• トークンコントラクトを応用した競馬投票システムの検討
• スクリーミングチャネルから漏洩した情報を用いた物理認証システムの提案
• スクリーミングチャネルを用いた認証システムの一考察
• 軽量暗号Asconに対するスクリーミングチャネル解析実験
• 乱数性に対するTI-AESの一様性に関する基礎評価
• ディスプレイが発するスペクトル分布を用いた認証方式の提案
• NFTを利用した競馬投票システムの一考察
• Recent Progress in Card-Based Cryptography
• 天秤ベース秘密計算に対する計算モデルの構築
• カードベースZKPプロトコル
• Card-Based Single-Shuffle Protocols for Secure Multiple-Input AND and XOR Computations (from APKC 2022)
• Towards Verifying Physical Assumption in Card-Based Cryptography (from SecITC 2022)
• 安全に証明する方法～ペンシルパズルを例に～
• 天秤とコインを使った秘密計算
• TI技術によりシェア化されたAES S-boxの故障感度解析手法
• Glitch-Based Key Recovery with Shannon Entropy on the Last AES Round
• カードベース暗号における物理仮定に対する脅威とその対策に関する検討
• サイドチャネル攻撃と偽コイン問題の関連性
• AES暗号に対する非プロファイリング深層学習攻撃の再現実験
• TI技術を用いたAES S-boxの故障感度の評価
• ハイパースペクトルカメラを用いた指紋の付着時期推定
• ランダムカット1回の6枚XORプロトコルの不可能性について
• A Card-Minimal Three-Input AND Protocol Using Two Shuffles (from COCOON 2021)
• 対称論理関数に対する最小枚数プロトコルの改良
• トランプカードによる3入力論理関数の秘密計算プロトコル
• 部分開示を用いるトランプカード金持ち比べプロトコル
• ハイパースペクトルカメラによるカードベース暗号の安全性評価に向けた基礎的検討
• シャッフル1回のみの秘密計算に必要なカード枚数について
• 最小のカード枚数による対称関数の秘密計算について
• M&Mにより対策されたAES暗号ハードウェアの乱数依存性について
• パイプライン化されたAES S-boxへのフォールト攻撃に対する安全性評価
• NIST軽量暗号最終候補におけるソフトウェア実装性能の評価
• ランダム二等分割カットのみを用いる5枚コミット型ANDプロトコル

書籍等出版物

• APKC'24: Proceedings of the 11th ACM Asia Public-Key Cryptography Workshop [DOI]

作品等

共同研究・競争的資金等の研究課題

• 真に高機能暗号の社会展開に資する物理・視覚暗号
• オンラインアプリの活用による暗号プロトコルの新展開
• 物理的な道具立てを用いるゼロ知識証明プロトコル
• 暗号技術によるIoTエコシステムのレジリエンス向上
• カードベース暗号に基づく新しい秘密計算の実現

メディア報道

• 注目の最新暗号技術「ゼロ知識証明」(河合塾)

産業財産権

所属学協会

• 情報処理学会
• 電子情報通信学会
• IEEE

委員歴

担当経験のある科目

• プログラミング言語実験
• コンテンツセキュリティ
• 暗号情報セキュリティ

社会貢献活動

• 匠ガールプロジェクト
• 模擬講義
• 出前授業
• 出前授業

学術貢献活動