Kyosuke Yamashita's Website

About Myself

I am an assistant professor in Department of Multimedia Engineering, Graduate School of Information Science and Technology, Osaka Univ, Japan (Fujiwara lab). My research focuses on theoretical aspects of cryptography, including public key encryption schemes, zero-knowledge proof systems, signature schemes and so on. I obtained my Ph.D. in cryptography from Kyoto University in 2021 under the supervision of Prof. Abe and Prof. Tibouchi (Abe-Tibouchi lab). See also [dblp] and [google scholar].

Contact

Adress:: 1-5, Yamadaoka, Suita-shi, Osaka, 565-0871, Japan.
Email:: yamashita AT ist DOT osaka-u DOT ac DOT jp

Experience

5/2022-present:: Assistant professor in Osaka University, Japan.
4/2021-4/2022:: Postdoctoral researcher in Cyber Physical Security Research Center, AIST, Japan.
5/2020-3/2021:: Research assistant in Cyber Physical Security Research Center, AIST, Japan.
4/2018-3/2021:: PhD student in Department of Social Informatics, Graduate School of Informatics, Kyoto University, Japan.
4/2015-3/2018:: Business person (not a researcher) in NTT west, Japan.

Journal Articles

[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.E105.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.

Conference Proceedings Articles

[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. 2023. 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]

Talks

[T16]: Takumi Matsuura, Keisuke Hara, Kyosuke Yamashita, "Repudiable Designated Verifier Signature," SCIS2024.
[T15]: Keitaro Hashimoto, Kyosuke Yamashita, Keisuke Hara, "On the Security of Multi-Designated Verifier Signature," SCIS2024.
[T14]: Kazuki Iwahana, Kyosuke Yamashita, Naoto Yanai, Osamu Saisho, "Zero Knowledge Proof for Machine Learning Models," CSS2023.
[T13]: Hidetoshi Asanuma, Ai Kuwagata, Takayuki Nagane , Kyosuke Yamashita, Naoto Yanai, Goichiro Hanaoka, "How to Explain Searchable Encryption with Non-experts," CSS2023.
[T12]: Kyosuke Yamashita, Keisuke Hara, "Ring Signature is not Sufficient for Multi-Designated Verifiers Signature," CSS2023.
[T11]: Chihiro Kado, Naoto Yanai, Kyosuke Yamashita, Jason Paul Cruz, Shingo Okamura, "An Empirical Study of Impact of Solidity Compiler Updates on Vulnerabilities," FIT2023.
[T10]: Chika Komiya, Naoto Yanai, Kyosuke Yamashita, Shingo Okamura, "A Study on WebAssembly Dataset for Malicious Site Detection," The 101th group meeting of CSEC, Vol.2023-CSEC-101, No.29, pp.1-8 (2023-05).
[T9]: Kyosuke YAMASHITA, Keisuke HARA, Yohei WATANABE, Naoto YANAI, and Junji SHIKATA, “Claimable Designated Verifier Signature”, Technical Committee on Information Security (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 BlackBox Construction Based on an Oracle Without Witness Indistinguishability”, IWSEC 2019 (invited talk).
[T1]: Kyosuke Yamashita, Mehdi Tibouchi, and Masayuki Abe. “On Augmented BlackBox Constructions Based on an Oracle Without Witness Indistinguishability”, SCIS 2019.

PhD Thesis

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

Teaching

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

Awards

・: IPSJ Specially Selected Paper (2024).
・: CSS encouragement award (2023).
・: FIT encouragement award (2023).
・: CSEC paper award (2023).
・: SCIS paper award (2019).

Program Committee Member

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