業績一覧PUBLICATONS

K. Asano, M. Iwamoto, and Y. Watanabe, “Protecting against Partial Key Exposure in Key-Insulated Encryption,” IEICE Transactions on Fundamentals, Vol. 108, pp. 1139–1151, 2025.

C. J. Clarke, Y. Kasashima, K. Sato, and Y. Watanabe, “SoK: Searchable Encryption with Differential Privacy,” APKC 2025, pp. 25–33, 2025.

T. Ono, S. Ruangwises, Y. Abe, K. Hatsugai, and M. Iwamoto, “Single-Shuffle Physical Zero-Knowledge Proof for Sudoku Using Interactive Inputs,” APKC 2025, pp. 1–8, 2025.

K. Sato, T. Amada, K. Asano, Y. Watanabe, M. Iwamoto, and K. Ohta, “Revisiting Relations of Security Notions in Searchable Encryption,” APKC 2025, pp. 17–24, 2025.

K. Asano, N. Attrapadung, K. Hara, K. Hashimoto, and Y. Watanabe, “Key Revocation in Registered Attribute-Based Encryption,” PKC 2025, pp. 102–133, 2025.

T. Tanaka, K. Sawada, Y. Watanabe, and M. Iwamoto, “Covert Vehicle Misguidance and Detection: A Hypothesis Testing Game over Continuous-Time Dynamics,” ACC 2025, 2025.

K. Asano and Y. Watanabe, “Updatable Public Key Encryption with Strong CCA Security: Security Analysis and Efficient Generic Construction,” CT-RSA 2025, pp. 223–246, 2025.

渡邉 洋平, 淺野 京一, 平田 遼, 小野 知樹, 楊 明宇, 岩本 貢, 李 陽, 原 祐子, “証明可能安全ロジックロッキング：安全性定式化の新たな枠組みとその実現,” CSS 2025, pp. 1727–1734, 2025.

佐古 美由紀, 金廣 理央, 吉村 昌也, 岩本 貢, 渡邉 洋平, “転売ヤーに制約を課すチケットシステム実現のための暗号プロトコル,” CSS 2025, pp. 1749–1756, 2025.

村上 和羽, 渡邉 洋平, 岩本 貢, “弱い情報源を用いた調停者付き認証符号の構成,” CSS 2025, pp. 1741–1748, 2025.

吉村 昌也, 淺野 京一, 岩本 貢, 渡邉 洋平, “公開鍵暗号を用いた加法的乱択符号化の効率的な構成,” CSS 2025, pp. 1735–1740, 2025.

笠島 悠吾, 杉本 航太, 岩本 貢, 渡邉 洋平, “入力クラスが制限された能動的攻撃者に対する秘匿積集合計算,” CSS 2025, pp. 1773–1780, 2025.

小野 知樹, 渡邉 洋平, 岩本 貢, “Free-XORを含むガーブルド回路における入力ゲートの効率化,” CSS 2025, pp. 1781–1788, 2025.

杉本 航太, 大原 一真, 渡邉 洋平, 岩本 貢, “大規模環境での通信効率に優れた階層型秘密計算,” CSS 2025, pp. 1765–1772, 2025.

新村祐基, 瀧野雄斗, 宮原大輝, 李陽, 崎山一男, “AES S-BoxのLogic Locking回路におけるSAT攻撃耐性評価,” IEICE2025年ソサイエティ大会, 2025.

森下 彩音, 一岡 知佑, 楊 明宇, 原 祐子, “HCLL-Lock：機能攻撃への高い耐性を持つハードウェアIP保護手法,” CSS 2025, pp. 1883–1890, 2025.

渡邉 洋平, “公開鍵暗号における鍵更新機能：その歴史と最新研究,” 第8回 金沢暗号理論勉強会, 石川県金沢市, 2025.

Y. Watanabe, K. Asano, H. Hirata, T. Ono, M. Yang, M. Iwamoto, Y. Li, and Y. Hara, “PSYLOCKE: Provably Secure Logic Locking with Practical Efficiency,” USENIX Security 2025, Poster, Seattle, WA, USA, 2025.

Mayu Nomura, Daiki Miyahara, Yang Li, and Kazuo Sakiyama, “Functional Verification and Authenticity Validation of Logic-Locked Circuits Using Side-Channel Authentication Techniques,” NEWCAS 2025, Poster, 2025.

Yuto Takino, Daiki Miyahara, Yang Li, and Kazuo Sakiyama, “A Security Evaluation Model for LUT-Based Logic Locking,” NEWCAS 2025, Poster, 2025.

APKC 2025 Best Paper Award (T. Ono, S. Ruangwises, Y. Abe, K. Hatsugai, and M. Iwamoto), “Single-Shuffle Physical Zero-Knowledge Proof for Sudoku Using Interactive Inputs,” APKC 2025, 2025.

CSS 2025 学生論文賞（小野 知樹, 渡邉 洋平, 岩本 貢）, “Free-XORを含むガーブルド回路における入力ゲートの効率化,” CSS 2025, 2025.

CSS 2025 学生論文賞（森下 彩音, 一岡 知佑, 楊 明宇, 原 祐子）, “HCLL-Lock：機能攻撃への高い耐性を持つハードウェアIP保護手法,” CSS 2025, 2025.

T. Tanaka, K. Sawada, Y. Watanabe, and M. Iwamoto, “Covert Vehicle Misguidance and Its Detection: A Hypothesis Testing Game over Continuous-Time Dynamics,” IEEE Control Systems Letters, vol. 8, pp. 2889–2894, IEEE, 2024.

T. Ichioka, Y. Watanabe, and Y. Hara, “PreLock: Precision Locking for Protecting Embedded Processor,” AsianHOST 2024, 2024. (To appear)

渡邉 洋平, 小野 知樹, 平田 遼, 淺野 京一, 楊 明宇, 原 祐子, 岩本 貢, “証明可能安全なロジックロッキング方式の効率的な実現,” SCIS 2025, 2C2-4, 2025.

杉本 航太, 大原 一真, 渡邉 洋平, 岩本 貢, “大規模なシステムに適した二段階秘密計算プロトコル,” SCIS 2025, 3C1-2, 2025.

笠島 悠吾, 杉本 航太, 渡邉 洋平, 岩本 貢, “（多人数）秘匿差集合計算の実現に向けて,” SCIS 2025, 3C1-3, 2025.

平田 遼, 宮原 大輝, 原 祐子, 崎山 一男, 李 陽, “ゼロ値攻撃対策による実装コストを低減する効率的なM&M-AESの設計,” SCIS 2025, 2E3-3, 2025.

瀧野 雄斗, 原田 優咲, 宮原 大輝, 李 陽, 原 祐子, 﨑山 一男, “LUTベースのLogic Locking回路のSAT攻撃に対する簡易な安全性評価,” SCIS 2025, 2E4-1, 2025.

角 颯太, 大原 一真, 原 祐子, “組込み機器向け擬似ランダム相関生成器のハードウェアアクセラレータ,” SCIS 2025, 3C1-1, 2025.

小棚木 凜太朗, 一岡 知佑, 楊 明宇, 原 祐子, “eASICを用いたハードウェアIP保護手法：RISC-Vへの適用事例,” SCIS 2025, 3E3-5, 2025.

K. Asano, K. Hara, K. Hashimoto, N. Attrapadung, and Y. Watanabe, “A Generic Construction of Deletable Registered Attribute-Based Encryption from Slotted Registered Attribute-Based Encryption,” CSS 2024, pp. 311–318, 2024.

岩本 貢, “情報理論的安全性〜確率的独立性をこえて〜,” 暗号及び情報セキュリティと数学の相関ワークショップ（CRISMATH 2024）, 福岡県福岡市, 2024.

原 祐子, “組込みシステムへのサイドチャネル攻撃とその対策,” TOPPERSカンファレンス2024, 東京都大田区, 2024.

笠島 悠吾, 杉本 航太, 渡邉 洋平, 岩本 貢 , “入力改ざんに耐性のある秘匿積集合計算プロトコル,” CSS 2024, ポスター, 兵庫県神戸市, 2024.

杉本 航太, 渡邉 洋平, 岩本 貢 , “超多人数での効率的な実行に向けた秘密計算プロトコルの新たなモデル,” CSS 2024, ポスター, 兵庫県神戸市, 2024.

Y. Kasashima, K. Sugimoto, Y. Watanabe and M. Iwamoto, “Towards Defining a New Security Model for Private Set Intersection,” IWSEC 2024, Poster, Kyoto, Japan, 2024.

T. Ono, H. Hirata, K. Asano, M. Yang, Y. Watanabe, Y. Hara, and M. Iwamoto, “Towards Efficient Logic Locking with Provable Security,” IWSEC 2024, Poster, Kyoto, Japan, 2024.

K. Sugimoto, Y. Watanabe and M. Iwamoto, “Multi-Party Computation for Large-Scale Parties in the Real World,” IWSEC 2024, Poster, Kyoto, Japan, 2024.

日本学術振興会賞（原 祐子）, “組み込みシステムの高信頼・低消費電力化設計手法と構築に関する研究,” 日本学術振興会, 2024.

CSS 2024 学生論文賞（K. Asano, K. Hara, K. Hashimoto, N. Attrapadung, and Y. Watanabe）, “A Generic Construction of Deletable Registered Attribute-Based Encryption from Slotted Registered Attribute-Based Encryption,” CSS 2024, 2024.

M. Iwamoto, “Information-Theoretic Perspectives for Simulation-Based Security in Multi-Party Computation,” IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, vol.EA107-A, no.3, pp.360–372, IEICE, 2024. [招待論文]

岩本 貢, “暗号理論にみる情報理論〜定式化と安全性証明〜,” 電子情報通信学会総合大会「情報理論的暗号技術とその周辺の最新動向」, 広島県広島市, 2024.

一岡 知佑, タンビア アーメド, 原 祐子, “eFPGAを用いた組込みプロセッサのIP保護,” 電子情報通信学会ハードウェアセキュリティ研究会, HWS2023-99, pp. 209–214, 2024.