Publication list

R. Hayashi, T. Asano, J. Hayata, T. Matsuda, S. Yamada, S. Katsumata, Y. Sakai, T. Teruya, J. Schuldt, N. Attrapadung, G. Hanaoka, K. Matsuura, T. Matsumoto. Signature for Objects: Formalizing How to Authenticate Physical Data and More. In Financial Cryptography and Data Security 2023, post-proceeding to appear, 2023

N. Attrapadung, G. Hanaoka, R. Hiromasa, T. Matsuda, J. C. N. Schuldt. Maliciously circuit-private multi-key FHE and MPC based on LWE. In Des. Codes Cryptogr., 91(5): 1645–1684, 2023

N. Attrapadung, H. Morita, K. Ohara, J. C. N. Schuldt, T. Teruya, K. Tozawa. Secure Parallel Computation on Privately Partitioned Data and Applications. In ACM CCS 2022, pp. 151–164, 2022

K. Tozawa, H. Morita, T. Mizuki. Single-Shuffle Card-based Protocol with Eight Cards per Gate. In UCNC 2023, pp. 171-185, 2023.

N. Cheng, N. Gupta, A. Mitrokotsa, H. Morita, K. Tozawa. Constant-Round Private Decision Tree Evaluation for Secret Shared Data. In PoPETs, Issue 1, pp. 397–412, 2024.

Kyosuke Yamashita, Keisuke Hara, Yohei Watanabe, Naoto Yanai, Junji Shikata. Designated Verifier Signature with Claimability. In APKC 2023, pp. 21-32, 2023.

Kyohei Sudo, Masayuki Tezuka, Keisuke Hara and Yusuke Yoshida. Quantum Search-to-Decision Reduction for the LWE Problem. In Africacrypt 2023, pp. 395-413, 2023.

Sohto Chiku, Keisuke Hara and Junji Shikata. Identity-based Matchmaking Encryption Secure against Key Generation Center. In ProvSec2023, pp. 251-273, 2023.

Sohto Chiku, Keisuke Hara and Junji Shikata. Chosen Ciphertext Security for Blind Identity-based Encryption with Certified Identities. In ISPEC 2023, pp. 299-314, 2023.

Kyosuke Yamashita and Keisuke Hara. On the Black-Box Impossibility of Multi-Designated Verifiers Signature Schemes from Ring Signature Schemes. In CIFRIS 2023, to appear.

Hiroki YAMAMURO, Keisuke HARA, Masayuki TEZUKA, Yusuke YOSHIDA, Keisuke TANAKA. Forward Secure Message Franking with Updatable Reporting Tags. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E106.A Issue 9, pp. 1164-1176, 2023.

Kyosuke YAMASHITA, Keisuke HARA, Yohei WATANABE, Naoto YANAI, Junji SHIKATA. Designated Verifier Signature with Claimability. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, to appear.

Kyosuke Yamashita and Keisuke Hara. On the Black-Box Impossibility of Multi-Designated Verifiers Signature Schemes from Ring Signature Schemes. Journal of Mathematical Cryptology, to appear.

Jun Narita, Takao Murakami, Hideitsu Hino, Masakatsu Nishigaki, Tetsushi Ohki, Synthesizing Differentially Private Location Traces Including Co-Locations, International Journal of Information Security, 2023.

Takao Murakami, Yuichi Sei, Automatic Tuning of Privacy Budgets in Input-Discriminative Local Differential Privacy, IEEE Internet of Things Journal, Vol.10, No.18, pp.15990-16005, 2023.

Takao Murakami, Hiromi Arai, Koki Hamada, Takuma Hatano, Makoto Iguchi, Hiroaki Kikuchi, Atsushi Kuromasa, Hiroshi Nakagawa, Yuichi Nakamura, Kenshiro Nishiyama, Ryo Nojima, Hidenobu Oguri, Chiemi Watanabe, Akira Yamada, Takayasu Yamaguchi, Yuji Yamaoka, Designing a Location Trace Anonymization Contest, Proceedings on Privacy Enhancing Technologies (PoPETs), Issue 1, pp.225-243, 2023.

T. Nakai, K. Shinagawa. Constant-Round Linear-Broadcast Secure Computation with Penalties. In Theoretical Computer Science, vol. 959, 2023.

K. Shinagawa, R. Eriguchi, S. Satake, K. Nuida. Private simultaneous messages based on quadratic residues. In Design, Codes, and Cryptography, vol. 91, pp.3915–3932, 2023.

M. Sato, K. Yoneyama. Rethinking FIDO2 Formalization and Extending Verification of Multi-Modes. In Journal of Information Processing, 2023.

T. Nakai, K. Shinagawa. Secure Multi-party Computation with Legally-Enforceable Fairness. In ICICS 2023, 2023.

T. Morooka, Y. Manabe, K. Shinagawa. Malicious Player Card-based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations. In ISPEC 2023, 2023.

Y. Manabe, K. Shinagawa. Free-XOR in Card-based Garbled Circuits. In CANS 2023, pp.232-248, 2023.

K. Shinagawa, K. Nuida. Explicit Lower Bounds for Communication Complexity of PSM for Concrete Functions. In INDOCRYPT 2023, 2023.

A. Yamada, J. Dubut. Formalizing Results on Directed Sets in Isabelle/HOL (Proof Pearl). In ITP 2023, pp.34:1–34:13, 2023.

K. Hashimoto, S. Katsumata, T. Prest. How to Hide MetaData in MLS-Like Secure Group Messaging: Simple, Modular, and Post-Quantum. In ACM CCS 2022, pp. 1399-1412, 2022.

R. Eriguchi, K. Kurosawa, K. Nuida. On the Optimal Communication Complexity of Error-Correcting Multiserver PIR. In TCC 2022, pp. 60-88, 2022.

S. Agrawal, F. Kitagawa, A. Modi, R. Nishimaki, S. Yamada, T. Yamakawa, Bounded Functional Encryption for Turing Machines: Adaptive Security from General Assumptions. In TCC 2022, pp. 618-647, 2022.

S. Agrawal, F. Kitagawa, R. Nishimaki, S. Yamada, T. Yamakawa. Public Key Encryption with Secure Key Leasing. In EUROCRYPT 2023 Part 1, pp. 581-610, 2023.

S. Agrawal, S. Kumari, A. Yadav, S. Yamada, Trace and Revoke with Optimal Parameters from Polynomial Hardness. In EUROCRYPT 2023 Part III, pp. 605-636, 2023.

S. Agrawal, M. Rossi, A. Yadav, S. Yamada. Constant Input Attribute Based (and Predicate) Encryption from Evasive and Tensor LWE. In CRYPTO 2023 PART IV, pp. 532-564, 2023.

S. Katsumata, Y.-F. Lai, J.T. LeGrow, L. Qin. CSI -Otter: Isogeny-Based (Partially) Blind Signatures from the Class Group Action with a Twist. In CRYPTO 2023 Part III, pp. 729-761, 2023.

R. Eriguchi. Unconditionally secure multiparty computation for symmetric functions with low bottleneck complexity. Asiacrypt 2023.

S. Katsumata, M. Reichle, Y. Sakai, Practical Round-Optimal Blind Signatures in the ROM from Standard Assumptions. ASIACRYPT 2023. 

R. Ishii, K. Yamashita, Y. Sakai, T. Teruya, T. Matsuda, G. Hanaoka, K. Matsuura, T. Matsumoto. Aggregate signature schemes with traceability of devices dynamically generating invalid signatures. IEICE Transactions on Information and Systems, Vol. E105-D, No. 11, pp. 1845-1856, 2022.

Y. Abe, T. Nakai, Y. Watanabe, M. Iwamoto, K. Ohta. A Computationally Efficient Card-Based Majority Voting Protocol with Fewer Cards in the Private Model. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E106-A, No. 3, pp. 315-324, 2023.

R. Eriguchi, N. Kunihiro, K. Nuida. Linear Algebraic Approach to Strongly Secure Ramp Secret Sharing for General Access Structures with Application to Symmetric PIR, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E106-A, No. 3, pp. 263-271, 2023.

K. Yamashita, R. Ishii, Y. Sakai, T. Teruya, T. Matsuda, G. Hanaoka, K. Matsuura,  T. Matsumoto. Fault-tolerant aggregate signature schemes against bandwidth consumption attack. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E106-A, No. 9, pp. 1177-1188, 2023.

W. Beullens, S. Dobson, S. Katsumata, Y.-F. Lai, F. Pintore. Group Signatures and More from Isogenies and Lattices: Generic, Simple, and Efficient. Designs, Codes and Cryptography, Vol. 91, No. 6, pp. 2141-2200, 2023.

K. Shinagawa, R. Eriguchi, S. Satake. K. Nuida. Private simultaneous messages based on quadratic residues, Designs, Codes and Cryptography, Vo. 91, No. 12, pp. 3915-3932, 2023.

R. Eriguchi, A. Ichikawa, N. Kunihiro, K. Nuida. Efficient Noise Generation Protocols for Differentially Private Multiparty Computation. IEEE Transactions on Dependable and Secure Computing, Vol. 20, No. 6, pp. 4486-4501, 2023.

R. Ishii, K. Yamashita, Z. Song, Y. Sakai, T. Teruya, T. Matsuda, G. Hanaoka, K. Matsuura, T. Matsumoto. Constraints and Evaluations on Signature Transmission Interval for Aggregate Signatures with Interactive Tracing Functionality. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, To appear.

K. Takemure, Y. Sakai, B. Santoso, G. Hanaoka, K. Ohta. More Efficient Two-Round Multi-Signature Scheme with Provably Secure Parameters for Standardized Elliptic Curves. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, To appear.

R. Eriguchi, N. Kunihiro, K. Nuida. Multiplicative and verifiably multiplicative secret sharing for multipartite adversary structures. Designs, Codes and Cryptography, Vol. 91, No. 5, pp. 1751-1778, 2023.

T. Igarashi, K. Matsuura. A Refined Classification of Malicious Smart Contract. In the 27th International Conference on Financial Cryptography and Data Security 2023, Poster session, 2023.

K. Matsuura. Energy-efficient Implementation of Consensus Algorithms by Minimizing the Redundancy of Signature Verification. In 2022 IEEE 1st Global Emerging Technology Blockchain Forum, Tutorial, 2022.

花岡 悟一郎, 岩本 貢, 渡邉 洋平, 水木 敬明, 安部 芳紀, 品川 和雅, 新井 美音, 矢内 直人. 高機能暗号の社会展開を促進する物理・視覚暗号, 電子情報通信学会和文論文誌, Vol. J106-A, No. 8, pp. 214-214, 2023.

岩成 慶太, 小野 知樹, 安部 芳紀, 中井 雄士, 渡邉 洋平, 岩本 貢. 秘匿置換を用いたトランプベース秘密計算プロトコルの提案, 暗号と情報セキュリティシンポジウム(SCIS), 2023.

安部芳紀, 岩本貢, 太田和夫. m値n入力関数を計算するprivate PEZプロトコルの初期文字列長の漸近評価, 暗号と情報セキュリティシンポジウム(SCIS), 2023.

松田隆宏. 短いバッチ型証明に基づく選択暗号文攻撃に対し安全性な公開鍵暗号の構成, 暗号と情報セキュリティシンポジウム(SCIS), 2023.

初貝 恭祐, 淺野 京一, 安部 芳紀. ChatGPT生成パズルに対する物理的ゼロ知識証明, ISEC研究会, 2023.

初貝 恭祐, 安部 芳紀, 渡邉 洋平, 岩本 貢. モジュラーデザインによる物理的ゼロ知識証明, コンピュータセキュリティシンポジウム(CSS) 2023.

谷下友一，林リウヤ，松田隆宏，松浦幹太, 更新可能暗号と公開鍵系の暗号要素技術の関係について, コンピュータセキュリティシンポジウム（CSS) 2023.

金廣 理央, 安部 芳紀, 渡邉 洋平, 岩本 貢. ARグラスによる視覚形秘密分散. コンピュータセキュリティシンポジウム (CSS) 2023 ポスターセッション.

吉田勇輝, 戸澤一成, 定兼邦彦. 秘密計算基数ソートの通信量の削減. 暗号と情報セキュリティシンポジウム (SCIS), 2023.

戸澤一成, 定兼邦彦. 一筆書きの秘匿計算. 暗号と情報セキュリティシンポジウム (SCIS), 2023.

高寺俊喜, 定兼邦彦, 戸澤一成. 決定木評価のFunction Secret Sharingプロトコルの計算量の改善および並列化. コンピュータセキュリティシンポジウム (CSS), 2023.

森田啓, 定兼邦彦, Peter Scholl, 戸澤一成. 秘密分散ベース秘匿AES計算. コンピュータセキュリティシンポジウム (CSS), 2023.

瀬戸友暁, 定兼邦彦, 戸澤一成. 秘密計算における可変長符号の符号化と復号. 情報セキュリティ研究会 (ISEC), 2023.

山室 宏貴, 原 啓祐, 手塚 真徹, 吉田 雄祐, 田中 圭介. 更新可能な報告タグをもつフォワード安全なメッセージフランキング. 暗号と情報セキュリティシンポジウム (SCIS), 2023.

数藤 恭, 手塚 真徹, 原 啓祐, 吉田 雄祐. 量子計算によるLWE問題のSearch-to-Decision帰着. 暗号と情報セキュリティシンポジウム (SCIS), 2023.

山下 恭佑, 原 啓祐, 渡邉 洋平, 矢内 直人, 四方 順司. 署名した事実を開示可能な検証者指定署名方式. ISEC研究会, 2023.

知久 奏斗, 原　啓祐, 四方 順司. 鍵生成センタに対して安全なIDベースマッチメイキング暗号. ISEC研究会, 2023.

知久 奏斗, 原　啓祐, 四方 順司. 階層型IDベースマッチメイキング暗号. ISEC研究会, 2023.

白石　一真, 原　啓祐, 冨田 斗威, 四方 順司. 指定演算者型準同型署名. コンピュータセキュリティシンポジウム (CSS), 2023.

山下 恭佑, 原　啓祐. リング署名から複数検証者指定署名の ブラックボックス構成不可能性. コンピュータセキュリティシンポジウム (CSS), 2023.

坂井祐介. ゼロ知識証明について. チュートリアル公演, CRISMATH 2023. 2023/12/26.

S. Katsumata. Challenges and Solutions to Post-Quantum Secure Messaging. Invited Talk at ACNS 2023, June, 2023.

S. Katsumata. CSI-Otter: Isogeny-based (Partially) Blind Signatures from the Class Group Action with a Twist. Invited Talk at the 22th Forum on Information Technology, September, 2023.

高橋 由紘, 品川 和雅. 多色カードを用いた効率的な対称関数プロトコル. In CSS 2023, 2023.（CSS2023優秀論文賞）

佐々木 駿, 品川 和雅. 数独に対するシャッフル3回のゼロ知識証明. In CSS 2023, 2023.（CSS2023学生論文賞）

山田 晃久. 証明支援システムIsabelle/HOLによる暗号検証. In CSS 2023, 2023. (招待講演) 

花谷 嘉一, 米山 一樹. ProVerifハンズオン. In CSS 2023, 2023. (チュートリアル講演) 

松浦幹太. ブロックチェーンの技術的実装と社会的実装〜電力消費問題を例にとって〜. 日本セキュリティ・マネジメント学会 第34回学術講演会, パネル「Web3.0とブロックチェーンに期待するディペンダビリティ」導入講演, 2022.

五十嵐太一, 松浦幹太. スマートコントラクトにおけるセキュリティに関する調査. 2023年暗号と情報セキュリティ・シンポジウム(SCIS2023)予稿集, 2023.

松浦幹太. ブロックチェーンの技術的な家系図と研究開発の現状. エネルギー・資源学会 第2回エネルギー政策懇話会, 招待講演, 2023.

谷下友一, 林リウヤ, 松田隆宏, 松浦幹太. 更新可能暗号と公開鍵系の暗号要素技術の関係について. コンピュータセキュリティシンポジウム2023(CSS2023)論文集, pp.447-454, 2023.

五十嵐太一, 松浦幹太. バイト列に着目した詐欺トークンコントラクトの検知. コンピュータセキュリティシンポジウム2023(CSS2023)論文集, pp.735-742, 2023.