| 2026 | SECRYPT | Zero-Query Black-Box Adversarial Attacks Using Transferability on Object Detection Models. | Kohei Kawasumi, Kazuki Yoneyama |
| 2025 | WISA | Formal Verification of Labyrinth Encrypted Message Storage Protocol in Messenger. | Kakeru Watanabe, Kazuki Yoneyama |
| 2024 | ACISP | Formal Verification of Challenge Flow in EMV 3-D Secure. | Kakeru Watanabe, Kazuki Yoneyama |
| 2024 | ICISC | Simultaneous Multiplication Protocol Based on Packed Linear Secret Sharing and Its Applications. | Shohei Mita, Kazuki Yoneyama |
| 2023 | ACISP | Compact Password Authenticated Key Exchange from Group Actions. | Ren Ishibashi, Kazuki Yoneyama |
| 2022 | ICICS | Query-Efficient Black-Box Adversarial Attack with Random Pattern Noises. | Makoto Yuito, Kenta Suzuki, Kazuki Yoneyama |
| 2022 | IWSEC | Quantum Key Recovery Attacks on 3-Round Feistel-2 Structure Without Quantum Encryption Oracles. | Takanori Daiza, Kazuki Yoneyama |
| 2022 | PKC | Post-quantum Anonymous One-Sided Authenticated Key Exchange Without Random Oracles. | Ren Ishibashi, Kazuki Yoneyama |
| 2021 | ACNS | Adaptive-ID Secure Hierarchical ID-Based Authenticated Key Exchange Under Standard Assumptions Without Random Oracles. | Ren Ishibashi, Kazuki Yoneyama |
| 2021 | CCS | Universally Composable Forward Secure Dynamic Searchable Symmetric Encryption. | Toshiya Shibata, Kazuki Yoneyama |
| 2021 | ICISC | Revocable Hierarchical Identity-Based Authenticated Key Exchange. | Yuki Okano, Junichi Tomida, Akira Nagai, Kazuki Yoneyama, Atsushi Fujioka, Koutarou Suzuki |
| 2020 | CCS | Verification of Group Key Management of IEEE 802.21 using ProVerif. | Ryoga Noguchi, Yoshikazu Hanatani, Kazuki Yoneyama |
| 2020 | INDOCRYPT | Formal Verification of Fair Exchange Based on Bitcoin Smart Contracts. | Cheng Shi, Kazuki Yoneyama |
| 2020 | ISITA | Memory Efficient and Provably Secure Virus Detection. | Hayami Motohashi, Kazuki Yoneyama |
| 2019 | ProvSec | One-Round Authenticated Group Key Exchange from Isogenies. | Atsushi Fujioka, Katsuyuki Takashima, Kazuki Yoneyama |
| 2019 | ProvSec | Password-Based Authenticated Key Exchange from Standard Isogeny Assumptions. | Shintaro Terada, Kazuki Yoneyama |
| 2018 | ICISC | Supersingular Isogeny Diffie-Hellman Authenticated Key Exchange. | Atsushi Fujioka, Katsuyuki Takashima, Shintaro Terada, Kazuki Yoneyama |
| 2018 | ISITA | On Hiding Access Timings in ORAM. | Yuma Kanai, Kazuki Yoneyama |
| 2018 | ISITA | Improved Verifiable Delegated Private Set Intersection. | Shintaro Terada, Kazuki Yoneyama |
| 2018 | IWSEC | Verification of LINE Encryption Version 1.0 Using ProVerif. | Cheng Shi, Kazuki Yoneyama |
| 2018 | ProvSec | Single Private-Key Generator Security Implies Multiple Private-Key Generators Security. | Atsushi Fujioka, Kazuki Yoneyama |
| 2017 | ICICS | Verifiable and Forward Secure Dynamic Searchable Symmetric Encryption with Storage Efficiency. | Kazuki Yoneyama, Shogo Kimura |
| 2016 | ISITA | Security proof of identity-based signature under RSA assumption, reconsidered. | Shogo Kimura, Kazuki Yoneyama |
| 2016 | IWSEC | UC-Secure Dynamic Searchable Symmetric Encryption Scheme. | Kaoru Kurosawa, Keisuke Sasaki, Kiyohiko Ohta, Kazuki Yoneyama |
| 2016 | ProvSec | Multi-cast Key Distribution: Scalable, Dynamic and Provably Secure Construction. | Kazuki Yoneyama, Reo Yoshida, Yuto Kawahara, Tetsutaro Kobayashi, Hitoshi Fuji, Tomohide Yamamoto |
| 2015 | ACNS | Accumulable Optimistic Fair Exchange from Verifiably Encrypted Homomorphic Signatures. | Jae Hong Seo, Keita Emura, Keita Xagawa, Kazuki Yoneyama |
| 2015 | SECRYPT | Gateway Threshold Password-based Authenticated Key Exchange Secure against Undetectable On-line Dictionary Attack. | Yukou Kobayashi, Naoto Yanai, Kazuki Yoneyama, Takashi Nishide, Goichiro Hanaoka, Kwangjo Kim, Eiji Okamoto |
| 2014 | ACNS | Reset Indifferentiability from Weakened Random Oracle Salvages One-Pass Hash Functions. | Yusuke Naito, Kazuki Yoneyama, Kazuo Ohta |
| 2014 | ACNS | Password-Based Authenticated Key Exchange without Centralized Trusted Setup. | Kazuki Yoneyama |
| 2014 | CANS | Converting PKI-Based Authenticated Key Exchange to Identity-Based. | Koutarou Suzuki, Kazuki Yoneyama |
| 2014 | ICISC | Formal Modeling of Random Oracle Programmability and Verification of Signature Unforgeability Using Task-PIOAs. | Kazuki Yoneyama |
| 2014 | IWSEC | Secure Multi-Party Computation for Elliptic Curves. | Koutarou Suzuki, Kazuki Yoneyama |
| 2014 | ProvSec | Computational Soundness of Asymmetric Bilinear Pairing-Based Protocols. | Kazuki Yoneyama |
| 2014 | ProvSec | Compact Public Key Encryption with Minimum Ideal Property of Hash Functions. | Kazuki Yoneyama, Goichiro Hanaoka |
| 2013 | ACNS | Exposure-Resilient One-Round Tripartite Key Exchange without Random Oracles. | Koutarou Suzuki, Kazuki Yoneyama |
| 2013 | CCS | Practical and post-quantum authenticated key exchange from one-way secure key encapsulation mechanism. | Atsushi Fujioka, Koutarou Suzuki, Keita Xagawa, Kazuki Yoneyama |
| 2013 | INDOCRYPT | Compact Authenticated Key Exchange from Bounded CCA-Secure KEM. | Kazuki Yoneyama |
| 2013 | IWSEC | One-Round Authenticated Key Exchange without Implementation Trick. | Kazuki Yoneyama |
| 2013 | SECRYPT | Practical and Exposure-resilient Hierarchical ID-based Authenticated Key Exchange without Random Oracles. | Kazuki Yoneyama |
| 2012 | IWSEC | One-Round Authenticated Key Exchange with Strong Forward Secrecy in the Standard Model against Constrained Adversary. | Kazuki Yoneyama |
| 2012 | PKC | Strongly Secure Authenticated Key Exchange from Factoring, Codes, and Lattices. | Atsushi Fujioka, Koutarou Suzuki, Keita Xagawa, Kazuki Yoneyama |
| 2011 | ICISC | Two-Party Round-Optimal Session-Policy Attribute-Based Authenticated Key Exchange without Random Oracles. | Kazuki Yoneyama |
| 2011 | ProvSec | Security of Practical Cryptosystems Using Merkle-Damgrd Hash Function in the Ideal Cipher Model. | Yusuke Naito, Kazuki Yoneyama, Lei Wang, Kazuo Ohta |
| 2011 | ProvSec | Taxonomical Security Consideration of Authenticated Key Exchange Resilient to Intermediate Computation Leakage. | Kazuki Yoneyama, Yunlei Zhao |
| 2010 | IWSEC | Hierarchical ID-Based Authenticated Key Exchange Resilient to Ephemeral Key Leakage. | Atsushi Fujioka, Koutarou Suzuki, Kazuki Yoneyama |
| 2010 | IWSEC | Universally Composable NBAC-Based Fair Voucher Exchange for Mobile Environments. | Kazuki Yoneyama, Masayuki Terada, Sadayuki Hongo, Kazuo Ohta |
| 2010 | Pairing | Strongly Secure Two-Pass Attribute-Based Authenticated Key Exchange. | Kazuki Yoneyama |
| 2010 | SECRYPT | Proxiable Designated Verifier Signature. | Mebae Ushida, Kazuo Ohta, Yutaka Kawai, Kazuki Yoneyama |
| 2010 | WISA | Predicate-Based Authenticated Key Exchange Resilient to Ephemeral Key Leakage. | Atsushi Fujioka, Koutarou Suzuki, Kazuki Yoneyama |
| 2010 | WISA | Cross-Realm Password-Based Server Aided Key Exchange. | Kazuki Yoneyama |
| 2009 | ASIACRYPT | How to Confirm Cryptosystems Security: The Original Merkle-Damgrd Is Still Alive! | Yusuke Naito, Kazuki Yoneyama, Lei Wang, Kazuo Ohta |
| 2009 | ISPEC | Secret Handshake: Strong Anonymity Definition and Construction. | Yutaka Kawai, Kazuki Yoneyama, Kazuo Ohta |
| 2008 | ACNS | Attribute-Based Encryption with Partially Hidden Encryptor-Specified Access Structures. | Takashi Nishide, Kazuki Yoneyama, Kazuo Ohta |
| 2008 | INDOCRYPT | Efficient and Strongly Secure Password-Based Server Aided Key Exchange (Extended Abstract). | Kazuki Yoneyama |
| 2008 | ProvSec | Leaky Random Oracle (Extended Abstract). | Kazuki Yoneyama, Satoshi Miyagawa, Kazuo Ohta |
| 2008 | SECRYPT | Anonymous Message Authentication - Universally Composable Definition and Construction. | Kazuki Yoneyama |
| 2008 | WISA | Extension of Secret Handshake Protocols with Multiple Groups in Monotone Condition. | Yutaka Kawai, Shotaro Tanno, Takahiro Kondo, Kazuki Yoneyama, Noboru Kunihiro, Kazuo Ohta |
| 2007 | CCS | Ring signatures: universally composable definitions and constructions. | Kazuki Yoneyama, Kazuo Ohta |
| 2007 | ICICS | Modeling Agreement Problems in the Universal Composability Framework. | Masayuki Terada, Kazuki Yoneyama, Sadayuki Hongo, Kazuo Ohta |