Yuki Shimmura, Yusaku Harada, Daiki Miyahara, Yang Li and Kazuo Sakiyama,”poster_Flexible Side-Channel and SAT Attack Resistance in Logic Locking via Threshold Implementation”, poster session WISA2026(Aug.,2026)
伊藤風太, 李陽, 崎山一男, 宮原大輝, “ASPに対する効率的な物理的ゼロ知識証明,” 情報セキュリティ研究会(ISEC), ISEC2026-71, pp.415-421 (Jul., 2026).
Futa Ito, Shiho Terunuma, Yang Li, Kazuo Sakiyama, and Daiki Miyahara, “Physical Zero-Knowledge Proofs for the Another Solution Problem with a Case Study on Sudoku,” 23rd International Conference on Unconventional Computing and Natural Computing (UCNC 2026), Lecture Notes in Computer Science, Springer, vol.?, pp.?–?, (Jun., 2026).
Daiki Miyahara, Pascal Lafourcade, and Maxime Puys, “Card-Based ZKP Protocols for Connectivity-Based Puzzles: Extending to Tree Structures with Application to Nurimeizu,” 13th International Conference on Fun with Algorithms (FUN 2026), LIPIcs 366, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, pp. 35:1–35:13 (May 2026).
Daiki Miyahara, Pascal Lafourcade, Kazumasa Shinagawa, and Takaaki Mizuki, “Playing President with Virtual Players: How to Play Multiple Cards of a Kind,” 13th International Conference on Fun with Algorithms (FUN 2026), LIPIcs 366, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, pp. 34:1–35:15 (May 2026).
Daiki Miyahara, Léo Robert, Pascal Lafourcade, and Shohei Kaneko, “When Locality Implies Globality: Card-based ZKP Protocol for Shakashaka Puzzle,” 13th International Conference on Fun with Algorithms (FUN 2026), LIPIcs 366, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, pp. 33:1–33:16 (May 2026).
飯野静流, 池田昇太, 品川和雅, 李陽, 崎山一男, 宮原大輝, “Impossibility of Four-Card AND protocols with a Single Closed Shuffle (from CANS 2025),” 電子情報通信学会情報セキュリティ研究会, 機械振興会館 (May 26, 2026).
Yuto Takino, Daiki Miyahara, Yang Li, and Kazuo Sakiyama, “A Practical Evaluation Model for SAT-Attack Resistance in LUT-Locked Circuits, ”2026 RISP International Workshop on Nonlinear Circuits, Communications and Signal Processing (NCSP’26), pp.338-341, (Mar., 2026)
Mayu Nomura, Daiki Miyahara, Yang Li, and Kazuo Sakiyama, “Side-Channel-Based Verification of Logic-Locked Circuits for Functionality and Authenticity, ”2026 RISP International Workshop on Nonlinear Circuits, Communications and Signal Processing (NCSP’26), pp.469-472, (Mar., 2026)
平田遼, 宮原大輝, 原祐子, 﨑山一男, 李陽, “ロジックロックを施したFeistel型暗号に対するLEDFA攻撃耐性の検討: Simeckを題材とした検討,” 2026年暗号と情報セキュリティシンポジウム (SCIS’26), 4A1-3, 8 pages (Jan., 2026).
