Updated on 2026/04/19
博士（情報学） ( 京都大学 )
修士（情報学） ( 京都大学 )
Kyoto University doctor course completed
Kyoto University master course completed
Kyoto University graduated
2026.4 - Now
Osaka University Graduate School of Information Science and Technology
2026.4 - Now
中央大学 理工学術院 先進理工学部 情報工学科 准教授
2022.5 - 2026.3
Osaka University Assistant Professor
2021.4 - 2022.4
National Institute of Advanced Industrial Science and Technology postdoctral researcher
2015.4 - 2018.3
NTT WEST, Inc.
security
cryptography
Informatics / Theory of informatics / computational complexity
Informatics / Information security / cryptography
On Key Substitution Attacks Against Aggregate Signatures and Multi-Signatures
Yuuki Fujita, Yusuke Sakai, Kyosuke Yamashita, Goichiro Hanaoka
IEEE Access 2026
Multi-designated Verifier Ring Signature: Generic Construction from Standard Primitives Reviewed
Yuuki Fujita, Keisuka Hara, Keitaro Hashimoto, Kyosuke Yamashita
88 - 107 2025.11
Comprehensive Security Analysis of End-to-End Encryption in LINE Reviewed
Takehiro Matsumoto, Atsushi Tanaka, Kyosuke Yamashita, Ryoma Ito, Takanori Isobe
290 - 300 2025.11
Claimable Multi-designated Verifier Signature Reviewed
Yuuki Fujita, Keisuke Hara, Kyosuke Yamashita
ProvSec2025 23 - 43 2025.10
On Key Substitution Attacks against Aggregate Signatures and Multi-Signatures Reviewed
Yuuki Fujita, Yusuke Sakai, Kyosuke Yamashita, Goichiro Hanaoka
Proceedings of the 12th ACM ASIA Public-Key Cryptography Workshop 54 - 63 2025.8
Evaluating Attribute Inference Risks in Urban Care Taxi Arrival Time Prediction Models Using Geospatial Data Reviewed
Yuya Takeuchi, Haruki Yonekura, Kyosuke Yamashita, Hirozumi Yamaguchi
The 14th International Workshop on Urban Computing, held in conjunction with the 31st ACM SIGKDD 2025 2025.8
Chihiro Kado, Naoto Yanai, Jason Paul Cruz, Kyosuke Yamashita, Shingo Okamura
Distributed Ledger Technologies: Research and Practice abs/2306.04250 2025.6
Foundations of Multi-Designated Verifier Signature: Comprehensive Formalization and New Constructions in Subset Simulation Reviewed
Keitaro Hashimoto, Kyosuke Yamashita, Keisuke Hara
2025 IEEE 38th Computer Security Foundations Symposium (CSF) 174 - 189 2025.6
Homomorphic Signature With Designated Evaluator Reviewed
Kazuma Shiraishi, Keisuke Hara, Toi Tomita, Kyosuke Yamashita, Junji Shikata
IEEE Access 2025
On Multi-Key FuncCPA Secure Encryption Schemes Reviewed
Eri Nakajima, Keisuke Hara, Kyosuke Yamashita
2024 1st International Conference On Cryptography And Information Security (VCRIS) 1 - 6 2024.12
A Study on Privacy-Preserving Face Authentication with Secure Computation Reviewed
5 ( 4 ) 62 - 75 2024.10
Designated Verifier Signature with Repudiability. Reviewed
Takumi Matsuura, Keisuke Hara, Kyosuke Yamashita
APKC@AsiaCCS 2024.7
Constraints and Evaluations on Signature Transmission Interval for Aggregate Signatures with Interactive Tracing Functionality Reviewed
Ryu ISHII, Kyosuke YAMASHITA, Zihao SONG, Yusuke SAKAI, Tadanori TERUYA, Takahiro MATSUDA, Goichiro HANAOKA, Kanta MATSUURA, Tsutomu MATSUMOTO
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E107-A ( 4 ) 619 - 633 2024.4
Designated Verifier Signature with Claimability Reviewed
YAMASHITA Kyosuke, HARA Keisuke, WATANABE Yohei, YANAI Naoto, SHIKATA Junji
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E107.A ( 3 ) 203 - 217 2024.3
Chika Komiya, Naoto Yanai, Kyosuke Yamashita, Shingo Okamura
Journal of Information Processing 32 298 - 307 2024.3
Kyosuke Yamashita, Keisuke Hara
J. Math. Cryptol. 18 ( 1 ) 2024.2
Kyosuke Yamashita, Keisuke Hara
Journal of Mathematical Cryptology 18 ( 1 ) 1249 - 1249 2024.1
Chika Komiya, Naoto Yanai, Kyosuke Yamashita, Shingo Okamura
J. Inf. Process. 32 298 - 307 2024
REN-A.I.: A Video Game for AI Security Education Leveraging Episodic Memory.
Mine Arai, Koki Tejima, Yuya Yamada, Takayuki Miura, Kyosuke Yamashita, Chihiro Kado, Rei Shimizu, Masataka Tatsumi, Naoto Yanai, Goichiro Hanaoka
IEEE Access 12 47359 - 47372 2024
Generic Construction of Key-Aggregate Searchable Encryption. Reviewed
Masahiro Kamimura, Kyosuke Yamashita, Naoto Yanai
GeoPrivacy@SIGSPATIAL 1 - 4 2023.11
Designated Verifier Signature with Claimability Reviewed
Kyosuke Yamashita, Keisuke Hara, Yohei Watanabe, Naoto Yanai, Junji Shikata
Proceedings of the 10th ACM Asia Public-Key Cryptography Workshop 21 - 32 2023.7
JABBERWOCK: A Tool for WebAssembly Dataset Generation towards Malicious Website Detection Reviewed
Chika Komiya, Naoto Yanai, Kyosuke Yamashita, Shingo Okamura
2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W) 2023.6
Fault-Tolerant Aggregate Signature Schemes Against Bandwidth Consumption Attack Reviewed
Kyosuke YAMASHITA, Ryu ISHII, Yusuke SAKAI, Tadanori TERUYA, Takahiro MATSUDA, Goichiro HANAOKA, Kanta MATSUURA, Tsutomu MATSUMOTO
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 2023.4
On the Black-Box Separation Between Ring Signatures and Public Key Encryptions.
Kyosuke Yamashita, Keisuke Hara
IACR Cryptology ePrint Archive 2023 1319 - 1319 2023
Aggregate Signature Schemes with Traceability of Devices Dynamically Generating Invalid Signatures Reviewed
Ryu ISHII, Kyosuke YAMASHITA, Yusuke SAKAI, Tadanori TERUYA, Takahiro MATSUDA, Goichiro HANAOKA, Kanta MATSUURA, Tsutomu MATSUMOTO
IEICE Transactions on Information and Systems E105.D ( 11 ) 1845 - 1856 2022.11
Ryu Ishii, Kyosuke Yamashita, Zihao Song, Yusuke Sakai, Tadanori Teruya, Goichiro Hanaoka, Kanta Matsuura, Tsutomu Matsumoto
Attacks and Defenses for the Internet-of-Things 51 - 71 2022
Aggregate Signature with Traceability of Devices Dynamically Generating Invalid Signatures
Ryu Ishii, Kyosuke Yamashita, Yusuke Sakai, Takahiro Matsuda, Tadanori Teruya, Goichiro Hanaoka, Kanta Matsuura, Tsutomu Matsumoto
Lecture Notes in Computer Science 378 - 396 2021
On The Impossibility of NIZKs for Disjunctive Languages from Commit-and-Prove NIZKs
K. {Yamashita}, M. {Tibouchi}, M. {Abe}
IEEE Access 9 51368 - 51379 2021
On Black-Box Extension of a Non-Interactive Zero-Knowledge Proof System for Secret Equality.
Kyosuke Yamashita, Mehdi Tibouchi, Masayuki Abe
Progress in Cryptology - INDOCRYPT 2020 - 21st International Conference on Cryptology in India(INDOCRYPT) 882 - 904 2020
A Coin-Free Oracle-Based Augmented Black Box Framework (Full Paper)
Kyosuke YAMASHITA, Mehdi TIBOUCHI, Masayuki ABE
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E103.A ( 10 ) 1167 - 1173 2020
A Coin-Free Oracle-Based Augmented Black Box Framework.
Kyosuke Yamashita, Mehdi Tibouchi, Masayuki Abe
Provable Security - 13th International Conference(ProvSec) 265 - 272 2019
A Coin-Free Oracle-Based Augmented Black Box Framework.
Kyosuke Yamashita, Mehdi Tibouchi, Masayuki Abe
IACR Cryptology ePrint Archive 2019 859 - 859 2019
LINEグループ通信に対するTamarin-Proverを用いた安全性自動検証
松本 岳大, 田中 篤, 山下 恭祐, 伊藤 竜馬, 五十部 孝典
2026年 情報通信システムセキュリティ研究会 2026.3
Bifurcated Ring Signature
Kyosuke Yamashita, Keisuke Hara
2026.1
否認可能性を持つ複数検証者指定署名
藤田 祐輝, 原 啓祐, 山下 恭佑
2026.1
主張可能性を持つ複数検証者指定署名の構成
藤田祐輝, 原敬祐, 山下恭佑
セキュリティサマーサミット2025 2025.7
集約署名と多重署名に対する鍵代替攻撃について
藤田 祐輝, 坂井 祐介, 山下 恭佑, 花岡 悟一郎
SCIS2025 2025.1
公開鍵暗号のMulti-Key FuncCPA安全性からCCA1安全性への帰着について
中嶋 恵理, 原 啓祐, 山下 恭佑
2025.1
複数検証者指定リング署名の一般的構成
藤田 祐輝, 原 啓祐, 橋本 啓太郎, 山下 恭佑
SCIS2025 2025.1
主張可能集約署名の提案
山下 恭佑, 岩花 一輝
SCIS2025 2025.1
インコンテキスト学習による Jailbreak に対するバックドアを利用した防御手法の一検討
武内 祐哉, 岩花 一輝, 三浦 尭之, 芝原 俊樹, 山下 恭佑
SCIS2025 2025
Performance Analysis of Physical Layer Security for Secret Sharing-based Distributed Management for Sensor Information
平井健士, 山下恭佑, 若宮直紀
電子情報通信学会技術研究報告(Web) 125 ( 94(CQ2025 13-42) ) 2025
Multi-key FuncCPA安全な公開鍵暗号に関する考察
中嶋恵理, 原啓祐, 山下恭佑
セキュリティサマーサミット2024 2024.7
BGLS署名に対する鍵代替攻撃について
坂井祐介, 藤田祐輝, 山下恭佑, 花岡悟一郎
セキュリティサマーサミット2024 2024.7
順序付きマルチ署名に対する鍵代替攻撃について
藤田祐輝, 山下恭佑, 坂井祐介, 花岡悟一郎
セキュリティサマーサミット2024 2024.7
REN-A.I.: A Video Game for AI Security Education Leveraging Episodic Memory.
Mine Arai, Koki Tejima, Yuya Yamada, Takayuki Miura, Kyosuke Yamashita, Chihiro Kado, Rei Shimizu, Masataka Tatsumi, Naoto Yanai, Goichiro Hanaoka
IEEE Access 12 47359 - 47372 2024
How to Explain Searchable Encryption with Non-experts
972 - 979 2023.10
悪性サイト検知のためのWebAssemblyデータセット構築ツールの設計とその精度評価
小宮 千佳, 矢内 直人, 山下 恭佑, 岡村 真吾
第101回コンピュータセキュリティ研究会（CSEC） 101 ( 29 ) 1 - 8 2023.5
Claimable Designated Verifier Signature
山下恭佑, 山下恭佑, 原啓祐, 原啓祐, 渡邉洋平, 渡邉洋平, 矢内直人, 矢内直人, 四方順司
電子情報通信学会技術研究報告(Web) 122 ( 427(IT2022 68-138) ) 2023.3
Solidityコンパイラ更新による脆弱性への影響調査
加道ちひろ, 矢内直人, 山下恭佑, CRUZ JasonPaul, 岡村真吾
情報科学技術フォーラム講演論文集 22nd 2023
A Study on WebAssembly Dataset for Malicious Site Detection
小宮千佳, 矢内直人, 山下恭佑, 岡村真吾
情報処理学会研究報告(Web) 2023 ( IOT-61 ) 2023
Post-Quantum Cryptography Invited
矢内直人, 山下恭佑
生産と技術 75 ( 1 ) 19 - 24 2023
TDPとIBEのブラックボックス分離 Invited
山下 恭佑
情報理論的暗号理論ワークショップ2025 2025.12
On Augmented Black-Box Construction Based on an Oracle Without Witness Indistinguishability Invited
Kyosuke Yamashita
The 14th International Workshop on Security 2019.8
Specially Selected Paper
2024.3 JABBERWOCK: A Tool for WebAssembly Dataset Generation and Its Application to Malicious Website Detection
Chika Komiya, Naoto Yanai, Kyosuke Yamashita, Shingo Okamura
情報セキュリティ研究奨励賞
2024.1 情報セキュリティ研究会（ISEC） 署名した事実を開示可能な検証者指定署名方式
山下恭佑, 原 啓祐, 渡邉洋平, 矢内直人, 四方順司
CSS奨励賞
2023.11 コンピュータセキュリティ（CSEC）研究会 リング署名から複数検証者指定署名のブラックボックス構成不可能性
山下恭佑, 原啓祐
CSEC 優秀研究賞
2023.6 コンピュータセキュリティ（CSEC）研究会 悪性サイト検知のためのWebAssemblyデータセット構築ツールの設計とその精度評価
小宮 千佳, 矢内 直人, 山下 恭佑, 岡村 真吾
SCIS論文賞
2020.1 情報セキュリティ研究専門委員会 証拠識別不可能性を持たないオラクルに基づく拡張ブラックボックス構成に関する考察
山下恭佑,Mehdi Tibouchi, 阿部正幸
情報・計算・暗号の融合によるセキュリティ定量化基盤の構築
Grant number：23H00468 2023.4 - 2027.3
日本学術振興会 科学研究費助成事業 基盤研究(A) 基盤研究(A) 東京工業大学
安永 憲司
Authorship：Coinvestigator(s)
Grant amount： \46930000 （ Direct Cost: \36100000 、 Indirect Cost： \10830000 ）
真に高機能暗号の社会展開に資する物理・視覚暗号
Grant number：23H00479 2023.4 - 2026.3
日本学術振興会 科学研究費助成事業 基盤研究(A) 基盤研究(A) 国立研究開発法人産業技術総合研究所
花岡 悟一郎
Authorship：Coinvestigator(s)
Grant amount： \47190000 （ Direct Cost: \36300000 、 Indirect Cost： \10890000 ）
非対話ゼロ知識証明の言語拡張可能性に関する研究
Grant number：23K16881 2023.4 - 2026.3
日本学術振興会 科学研究費助成事業 若手研究 若手研究 大阪大学
山下 恭佑
Grant amount： \4680000 （ Direct Cost: \3600000 、 Indirect Cost： \1080000 ）
安全な無線通信サービスのための新世代暗号技術に関する研究開発
2024.4 - 2025.3
総務省 電波資源拡大のための研究開発 安全な無線通信サービスのための新世代暗号技術に関する研究開発
Authorship：Coinvestigator(s)
Multimedia Seminar
2024.4 - Now Institution：Osaka University
情報セキュリティ
2024.4 - Now Institution：同志社女子大学
contents security
2024.4 - Now Institution：Osaka University
multi media practice
2023.4 - Now Institution：Osaka University
programming A
2023.4 - Now Institution：Osaka University
PBL
2022.10 - Now Institution：Osaka University
Experiment C
2022.10 - Now Institution：Osaka University
2025.8 - 2027.3
電子情報通信学会 英文論文誌A『暗号と情報セキュリティ』編集委員
2026.4 - 2026.10
ISC2026 program committee
2025.11 - 2026.7
APKC'26 program committee
2024.11 - 2025.7
APKC'25 committee member
2024.1 - 2024.12
ISITA 2024 committee member
2024.4 - 2024.11
PRDC committee member PRDC committee member
2024.5 - 2024.8
WISA WISA committee member
2023.8 - 2024.8
IWSEC'24 committee member
2023.12 - 2024.7
APKC'24 committee member APKC'24 committee member
2023.6 - 2024.3
RCC・ISEC・IT・WBS合同研究会 local organizing chair
2023.2 - 2023.9
SECAI 2023 general chair
2022.12 - 2023.8
IWSEC'23 committee member
2022.12 - 2023.7
APKC'23 committee member
2022.8 - 2023.1
SCIS 2023実行委員
産業技術総合研究所 協力研究員
2022.7 - Now
理化学研究所 客員研究員
2025.6 - 2026.3
三重県立四日市高校 SSH大学出前講座
Role(s)： Appearance
2025.10 -
三重県立四日市高校 SSH大学出前講座
Role(s)： Appearance
2024.10 -
大阪大学情報科学研究科の英語圏に向けた挑戦！AI知識が身につくゲーム!? 『REN-A.I.』 Internet
TCF WEBZINE https://tokyo-chara.com/tcf-webzine/ 2023.5
