Kyosuke Yamashita's Website

日本語 / English

自己紹介

photo
氏名:山下恭佑
所属:大阪大学大学院情報科学研究科マルチメディア工学専攻 藤原研究室(助教)
専門:暗号理論.ゼロ知識証明や集約署名などの高機能暗号の理論的性質に関する研究を行っています.
[dblp][google scholar] [Twitter]

連絡先

Adress:
565-0871 大阪府吹田市山田丘1-5
Email:
yamashita AT ist DOT osaka-u DOT ac DOT jp

経歴

5/2022-現在:
大阪大学大学院情報科学研究科マルチメディア工学専攻藤原研究室(助教)
4/2021-4/2022:
産業技術総合研究所(ポスドク)
5/2020-3/2021:
産業技術総合研究所(リサーチアシスタント)
4/2018-3/2021:
京都大学大学院情報学研究科社会情報学専攻阿部・ティブシ研(博士課程)
4/2015-3/2018:
NTT西日本(サラリーマン)

論文誌

[J9]
Mine Arai, Koki Tejima, Yuya Yamada, Takayuki Miura, Kyosuke Yamashita, Chihiro Kado, Rei Shimizu, Masataka Tatsumi, Naoto Yanai, Goichiro Hanaoka, "REN-AI: A Video Game for AI Security Education Leveraging Episodic Memory", IEEE Access, vol. 12, pp. 47359-47372, 2024.
[J8]
Chika Komiya, Naoto Yanai, Kyosuke Yamashita, Shingo Okamura, "JABBERWOCK: A Tool for WebAssembly Dataset Generation and Its Application to Malicious Website Detection", Journal of Information Processing, 2024, Vol. 32, pp. 298-307.
[J7]
Kyosuke Yamashita, Keisuke Hara, "On the Black-Box Impossibility of Multi-Designated Verifiers Signature Schemes from Ring Signature Schemes," Journal of Mathematical Cryptology, vol. 18, no. 1, 2024, pp. 20230028.
[J6]
Ryu Ishii, Kyosuke Yamashita, Zihao Song, Yusuke Sakai, Tadanori Teruya, Goichiro Hanaoka, Kanta Matsuura and Tsutomu 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, 2024, Vol.E107-A, No.4, pp.619-633.
[J5]
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, 2024, Vol.E107-A, No.3, pp.203-217
[J4]
Kyosuke YAMASHITA, Ryu ISHII, Yusuke SAKAI, Tadanori TERUYA, Takahiro MATSUDA, Goichiro HANAOKA, Kanta MATSUURA, Tsutomu MATSUMOTO, "Fault-Tolerant Aggregate Signature Schemes Against Bandwidth Consumption Attack", IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2023, Vol.E106.A, No.9, pp. 1177-1188.
[J3]
Ryu ISHII, Kyosuke YAMASHITA, Yusuke SAKAI, Tadanori TERUYA, Takahiro MATSUDA, Goichiro HANAOKA, Kanta MATSUURA and Tsutomu MATSUMOTO, "Aggregate Signature Schemes with Traceability of Devices Dynamically Generating Invalid Signatures", IEICE Transactions on Information and Systems, 2022, Vol.E.105.D, No.11, pp. 1845-1856.
[J2]
Kyosuke Yamashita, Mehdi Tibouchi and Masayuki Abe, "On The Impossibility of NIZKs for Disjunctive Languages from Commit-and-Prove NIZKs", IEEE Access, 2021. [ieeexplore]
[J1]
Kyosuke Yamashita, Mehdi Tibouchi, and Masayuki Abe, "A Coin-Free Oracle-Based Augmented Black Box Framework (Full Paper)", IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, Vol.E103-A, No.10, pp.1167-1173, Oct. 2020.

国際学会論文

[C8]
Masahiro Kamimura, Kyosuke Yamashita, Naoto Yanai, "Generic Construction of Key-Aggregate Searchable Encryption," In Proceedings of the 1st ACM SIGSPATIAL International Workshop on Geo-Privacy and Data Utility for Smart Societies (GeoPrivacy '23). Association for Computing Machinery, New York, NY, USA, 1–4.
[C7]
Kyosuke Yamashita, Keisuke Hara, “On the Black-Box Impossibility of Multi-Designated Verifiers Signature Schemes from Ring Signature Schemes,” Collectio Ciphrarum - Proceedings of cryptographic conferences and workshops 2023, 2023, pp. 1249-1249.[eprint]
[C6]
C. Komiya, N. Yanai, K. Yamashita and S. Okamura, "JABBERWOCK: A Tool for WebAssembly Dataset Generation towards Malicious Website Detection," 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Porto, Portugal, 2023, pp. 36-39.
[C5]
Kyosuke Yamashita, Keisuke Hara, Yohei Watanabe, Naoto Yanai, and Junji Shikata. Designated Verifier Signature with Claimability. In Proceedings of the 10th ACM Asia Public-Key Cryptography Workshop (APKC '23). Association for Computing Machinery, New York, NY, USA, 21–32.
[C4]
Ryu Ishii, Kyosuke Yamashita, Zihao Song, Yusuke Sakai, Tadanori Teruya, Goichiro Hanaoka, Kanta Matsuura and Tsutomu Matsumoto "Constraints and Evaluations on Signature Transmission Interval for Aggregate Signatures with Interactive Tracing Functionality. ADIoT 2022: 51-71
[C3]
Ryu Ishii, Kyosuke Yamashita, Yusuke Sakai, Takahiro Matsuda, Tadanori Teruya, Goichiro Hanaoka, Kanta Matsuura and Tsutomu Matsumoto "Aggregate Signature with Traceability of Devices Dynamically Generating Invalid Signatures", ACNS Workshops 2021: 378-396
[C2]
Kyosuke Yamashita, Mehdi Tibouchi and Masayuki Abe "On Black-Box Extension of a Non-Interactive Zero-Knowledge Proof System for Secret Equality", INDOCRYPT 2020: 882-904
[C1]
Kyosuke Yamashita, Mehdi Tibouchi and Masayuki Abe "A Coin-Free Oracle-Based Augmented Black Box Framework", ProvSec2019. [ePrint]

口頭発表

[T16]
松浦 巧, 原 啓裕, 山下 恭佑, "否認可能検証者指定署名方式," SCIS2024.
[T15]
Keitaro Hashimoto, Kyosuke Yamashita, Keisuke Hara, "On the Security of Multi-Designated Verifier Signature," SCIS2024.
[T14]
岩花 一輝, 山下 恭祐, 矢内 直人, 税所 修, "機械学習モデルの更新の保証に向けたゼロ知識証明の適用," CSS2023.
[T13]
浅沼 秀俊, 桑形 愛, 長根 貴之 , 山下 恭佑, 矢内 直人, 花岡 悟一郎, "非専門家との検索可能暗号の説明資料の作成とユーザ調査," CSS2023.
[T12]
山下 恭佑, 原 啓祐, "リング署名から複数検証者指定署名のブラックボックス構成不可能性," CSS2023.
[T11]
加道 ちひろ, 矢内 直人, 山下 恭佑, ジェイソン・ポール クルーズ, 岡村 真吾, "Solidityコンパイラ更新による脆弱性への影響調査," 第22回情報科学技術フォーラム(FIT2023), 第4分冊, L-015, pp.171-172 (2023-09).
[T10]
小宮 千佳, 矢内 直人, 山下 恭佑, 岡村 真吾, "悪性サイト検知のためのWebAssemblyデータセット構築ツールの設計とその精度評価," 第101回コンピュータセキュリティ研究会(CSEC), Vol.2023-CSEC-101, No.29, pp.1-8 (2023-05).
[T9]
山下恭佑,原 啓祐,渡邉洋平,矢内直人,四方順司,“署名した事実を開示可能な検証者指定署名方式“,ISEC研究会(2023-3).
[T8]
Koki Tejima, Kyosuke Yamashita, Naoto Yanai and Shingo Okamura. "A Construction of Facial Authentication with Secure Computation", CSS 2022.
[T7]
Mine Arai, Chihiro Kado, Rei Shimizu, Masataka Tatsumi, Koki , Yuya Yamada, Kyosuke Yamashita and Naoto Yanai. "REN-A.I.: A Video Game for AI Security Education Leveraging Episodic Memory", CSS 2022.
[T6]
Ryu Ishii, Kyosuke Yamashita, Tadanori Teruya, Yusuke Sakai, Goichiro Hanaoka, Kanta Matsuura and Tsutomu Matsumoto. "Constraints and Evaluations on Signature Transmission Interval for Aggregate Signatures with Interactive Tracing", SCIS 2022.
[T5]
Kyosuke Yamashita, Ryu Ishii, Tadanori Teruya, Yusuke Sakai, Goichiro Hanaoka, Kanta Matsuura and Tsutomu Matsumoto. "A Study of A Potential Attack on Fault-Tolerant Aggregate Signature Schemes and How to Deal with It", SCIS 2022.
[T4]
Kyosuke Yamashita, Mehdi Tibouchi, and Masayuki Abe. “Limits on The Power of Commit­-and-­Prove NIZKs”, SCIS 2021.
[T3]
Kyosuke Yamashita, Mehdi Tibouchi, and Masayuki Abe. “The Augmented Black Box Framework and Zero­-Knowledge Proofs of Plaintext Equality”, SCIS 2020.
[T2]
Kyosuke Yamashita, Mehdi Tibouchi, and Masayuki Abe. “On Augmented Black­Box Construction Based on an Oracle Without Witness Indistinguisha­bility”, IWSEC 2019 (invited talk).
[T1]
Kyosuke Yamashita, Mehdi Tibouchi, and Masayuki Abe. “On Augmented Black­Box Constructions Based on an Oracle Without Witness Indistinguisha­bility”, SCIS 2019.

博士論文

A Study of Non-Interactive Zero-Knowledge Proof Systems in a Black-Box Framework [pdf]

教育歴

Special Lecture on Informatics, Mie University, Japan (5/2021).

受賞歴

情報処理学会論文誌ジャーナル/JIP特選論文 (2024).
CSS奨励賞 (2023).
FIT奨励賞 (2023).
CSEC優秀研究賞 (2023).
SCIS論文賞 (2019).

委員歴

SCIS 2023.
APKC 2023.
IWSEC 2023.
ISITA 2024.
SECAI 2023 general chair.