Visual Secret Sharing Schemes for Multiple Secret Images Allowing the Rotation of Shares. - Mitsugu Iwamoto; Lei Wang 031; Kazuki Yoneyama; Noboru Kunihiro; Kazuo Ohta (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006)

Secure Cross-Realm Client-to-Client Password-Based Authenticated Key Exchange Against Undetectable On-Line Dictionary Attacks. - Kazuki Yoneyama; Haruki Ota; Kazuo Ohta (AAECC, 2007)

Modeling Agreement Problems in the Universal Composability Framework. - Masayuki Terada; Kazuki Yoneyama; Sadayuki Hongo; Kazuo Ohta (ICICS, 2007)

Universally Composable Hierarchical Hybrid Authenticated Key Exchange. - Haruki Ota; Kazuki Yoneyama; Shinsaku Kiyomoto; Toshiaki Tanaka; Kazuo Ohta (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007)

Universally Composable Client-to-Client General Authenticated Key Exchange. - Haruki Ota; Kazuki Yoneyama; Shinsaku Kiyomoto; Toshiaki Tanaka; Kazuo Ohta (Inf. Media Technol., 2007)

Ring Signatures: Universally Composable Definitions and Constructions. - Kazuki Yoneyama; Kazuo Ohta (Inf. Media Technol., 2007)

Attribute-Based Encryption with Partially Hidden Encryptor-Specified Access Structures. - Takashi Nishide; Kazuki Yoneyama; Kazuo Ohta (ACNS, 2008)

Efficient and Strongly Secure Password-Based Server Aided Key Exchange (Extended Abstract). - Kazuki Yoneyama (INDOCRYPT, 2008)

Leaky Random Oracle (Extended Abstract). - Kazuki Yoneyama; Satoshi Miyagawa; Kazuo Ohta (ProvSec, 2008)

Anonymous Message Authentication - Universally Composable Definition and Construction. - Kazuki Yoneyama (SECRYPT, 2008)

How to Confirm Cryptosystems Security: The Original Merkle-Damgård Is Still Alive! - Yusuke Naito 001; Kazuki Yoneyama; Lei Wang 031; Kazuo Ohta (ASIACRYPT, 2009)

Secret Handshake: Strong Anonymity Definition and Construction. - Yutaka Kawai; Kazuki Yoneyama; Kazuo Ohta (IACR Cryptol. ePrint Arch., 2009)

How to Prove the Security of Practical Cryptosystems with Merkle-Damgård Hashing by Adopting Indifferentiability. - Yusuke Naito 001; Kazuki Yoneyama; Lei Wang 031; Kazuo Ohta (IACR Cryptol. ePrint Arch., 2009)

Security of Practical Cryptosystems Using Merkle-Damgard Hash Function in the Ideal Cipher Model. - Yusuke Naito 001; Kazuki Yoneyama; Lei Wang 031; Kazuo Ohta (IACR Cryptol. ePrint Arch., 2009)

Attribute-Based Encryption with Partially Hidden Ciphertext Policies. - Takashi Nishide; Kazuki Yoneyama; Kazuo Ohta (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009)

Does Secure Password-Based Authenticated Key Exchange against Leakage of Internal States Exist? - Kazuki Yoneyama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009)

Leaky Random Oracle. - Kazuki Yoneyama; Satoshi Miyagawa; Kazuo Ohta (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009)

Efficient and Strongly Secure Password-based Server Aided Key Exchange. - Kazuki Yoneyama (J. Inf. Process., 2009)

Rigorous Security Requirements for Designated Verifier Signatures. - Kazuki Yoneyama; Mebae Ushida; Kazuo Ohta (Inscrypt, 2010)

Strongly Secure Two-Pass Attribute-Based Authenticated Key Exchange. - Kazuki Yoneyama (Pairing, 2010)

Predicate-Based Authenticated Key Exchange Resilient to Ephemeral Key Leakage. - Atsushi Fujioka; Koutarou Suzuki; Kazuki Yoneyama (WISA, 2010)

Cross-Realm Password-Based Server Aided Key Exchange. - Kazuki Yoneyama (WISA, 2010)

Extension of Secret Handshake Protocols with Multiple Groups in Monotone Condition. - Yutaka Kawai; Shotaro Tanno; Takahiro Kondo; Kazuki Yoneyama; Kazuo Ohta; Noboru Kunihiro (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2010)

Two-Party Round-Optimal Session-Policy Attribute-Based Authenticated Key Exchange without Random Oracles. - Kazuki Yoneyama (ICISC, 2011)

Taxonomical Security Consideration of Authenticated Key Exchange Resilient to Intermediate Computation Leakage. - Kazuki Yoneyama; Yunlei Zhao (ProvSec, 2011)

Hierarchical ID-Based Authenticated Key Exchange Resilient to Ephemeral Key Leakage. - Atsushi Fujioka; Koutarou Suzuki; Kazuki Yoneyama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011)

Security of Cryptosystems Using Merkle-Damgård in the Random Oracle Model. - Yusuke Naito 001; Kazuki Yoneyama; Lei Wang 031; Kazuo Ohta (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011)

Universally Composable NBAC-Based Fair Voucher Exchange for Mobile Environments. - Kazuki Yoneyama; Masayuki Terada; Sadayuki Hongo; Kazuo Ohta (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011)

Proxiable Designated Verifier Signature. - Mebae Ushida; Yutaka Kawai; Kazuki Yoneyama; Kazuo Ohta (J. Inf. Process., 2011)

Strongly Secure Predicate-Based Authenticated Key Exchange: Definition and Constructions. - Atsushi Fujioka; Koutarou Suzuki; Kazuki Yoneyama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012)

Indifferentiable Security Reconsidered: Role of Scheduling. - Kazuki Yoneyama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012)

Practical and post-quantum authenticated key exchange from one-way secure key encapsulation mechanism. - Atsushi Fujioka; Koutarou Suzuki; Keita Xagawa; Kazuki Yoneyama (AsiaCCS, 2013)

One-Round Authenticated Key Exchange without Implementation Trick. - Kazuki Yoneyama (IWSEC, 2013)

id-eCK Secure ID-Based Authenticated Key Exchange on Symmetric and Asymmetric Pairing. - Atsushi Fujioka; Fumitaka Hoshino; Tetsutaro Kobayashi; Koutarou Suzuki; Berkant Ustaoglu; Kazuki Yoneyama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013)

Generic Construction of Two-Party Round-Optimal Attribute-Based Authenticated Key Exchange without Random Oracles. - Kazuki Yoneyama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013)

One-Round Authenticated Key Exchange with Strong Forward Secrecy in the Standard Model against Constrained Adversary. - Kazuki Yoneyama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013)

Reset Indifferentiability from Weakened Random Oracle Salvages One-Pass Hash Functions. - Yusuke Naito 001; Kazuki Yoneyama; Kazuo Ohta (ACNS, 2014)

Constant Rounds Almost Linear Complexity Multi-party Computation for Prefix Sum. - Kazuma Ohara; Kazuo Ohta; Koutarou Suzuki; Kazuki Yoneyama (AFRICACRYPT, 2014)

Converting PKI-Based Authenticated Key Exchange to Identity-Based. - Koutarou Suzuki; Kazuki Yoneyama (CANS, 2014)

Secure Multi-Party Computation for Elliptic Curves. - Koutarou Suzuki; Kazuki Yoneyama (IWSEC, 2014)

Compact Public Key Encryption with Minimum Ideal Property of Hash Functions. - Kazuki Yoneyama; Goichiro Hanaoka (ProvSec, 2014)

Exposure-Resilient One-Round Tripartite Key Exchange without Random Oracles. - Koutarou Suzuki; Kazuki Yoneyama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2014)

Practical and Exposure-Resilient Hierarchical ID-Based Authenticated Key Exchange without Random Oracles. - Kazuki Yoneyama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2014)

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 (SECRYPT, 2015)

Strongly secure authenticated key exchange from factoring, codes, and lattices. - Atsushi Fujioka; Koutarou Suzuki; Keita Xagawa; Kazuki Yoneyama (Des. Codes Cryptogr., 2015)

Compact Authenticated Key Exchange from Bounded CCA-Secure KEM. - Kazuki Yoneyama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2015)

Security proof of identity-based signature under RSA assumption, reconsidered. - Shogo Kimura; Kazuki Yoneyama (ISITA, 2016)

UC-Secure Dynamic Searchable Symmetric Encryption Scheme. - Kaoru Kurosawa; Keisuke Sasaki; Kiyohiko Ohta; Kazuki Yoneyama (IWSEC, 2016)

Analyzing and Fixing the QACCE Security of QUIC. - Hideki Sakurada; Kazuki Yoneyama; Yoshikazu Hanatani; Maki Yoshida (SSR, 2016)

Multi-Cast Key Distribution: Scalable, Dynamic and Provably Secure Construction. - Kazuki Yoneyama; Reo Yoshida; Yuto Kawahara; Tetsutaro Kobayashi; Hitoshi Fuji; Tomohide Yamamoto (IACR Cryptol. ePrint Arch., 2016)

One-Round Authenticated Key Exchange without Implementation Tricks. - Kazuki Yoneyama (J. Inf. Process., 2016)

Verifiable and Forward Secure Dynamic Searchable Symmetric Encryption with Storage Efficiency. - Kazuki Yoneyama; Shogo Kimura (ICICS, 2017)

Oblivious Polynomial Evaluation in the Exponent, Revisited. - Naoto Itakura; Kaoru Kurosawa; Kazuki Yoneyama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2017)

Provably Secure 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 (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2017)

On Randomness Exposure Resilience of Group Signatures. - Tomoyoshi Ono; Kazuki Yoneyama (IEICE Trans. Inf. Syst., 2017)

Computational Soundness of Asymmetric Bilinear Pairing-Based Protocols. - Kazuki Yoneyama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2017)

Compact public key encryption without full random oracles. - Kazuki Yoneyama; Goichiro Hanaoka (Pervasive Mob. Comput., 2017)

On Hiding Access Timings in ORAM. - Yuma Kanai; Kazuki Yoneyama (ISITA, 2018)

Improved Verifiable Delegated Private Set Intersection. - Shintaro Terada; Kazuki Yoneyama (ISITA, 2018)

Single Private-Key Generator Security Implies Multiple Private-Key Generators Security. - Atsushi Fujioka; Kazuki Yoneyama (ProvSec, 2018)

Supersingular Isogeny Diffie-Hellman Authenticated Key Exchange. - Atsushi Fujioka; Katsuyuki Takashima; Shintaro Terada; Kazuki Yoneyama (IACR Cryptol. ePrint Arch., 2018)

One-Round Authenticated Group Key Exchange from Isogenies. - Atsushi Fujioka; Katsuyuki Takashima; Kazuki Yoneyama (IACR Cryptol. ePrint Arch., 2018)

Exposure-Resilient Identity-Based Dynamic Multi-Cast Key Distribution. - Kazuki Yoneyama; Reo Yoshida; Yuto Kawahara; Tetsutaro Kobayashi; Hitoshi Fuji; Tomohide Yamamoto (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018)

Accumulable optimistic fair exchange from verifiably encrypted homomorphic signatures. - Jae Hong Seo; Keita Emura; Keita Xagawa; Kazuki Yoneyama (Int. J. Inf. Sec., 2018)

Formal modeling of random oracle programmability and verification of signature unforgeability using task-PIOAs. - Kazuki Yoneyama (Int. J. Inf. Sec., 2018)

Password-Based Authenticated Key Exchange from Standard Isogeny Assumptions. - Shintaro Terada; Kazuki Yoneyama (ProvSec, 2019)

Post-Quantum Variants of ISO/IEC Standards: Compact Chosen Ciphertext Secure Key Encapsulation Mechanism from Isogeny. - Kazuki Yoneyama (SSR, 2019)

Verification of LINE Encryption Version 1.0 Using ProVerif. - Cheng Shi; Kazuki Yoneyama (IEICE Trans. Inf. Syst., 2019)

Memory Efficient and Provably Secure Virus Detection. - Hayami Motohashi; Kazuki Yoneyama (ISITA, 2020)

Password-Based Authenticated Key Exchange without Centralized Trusted Setup. - Kazuki Yoneyama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020)

Universally Composable Forward Secure Dynamic Searchable Symmetric Encryption. - Toshiya Shibata; Kazuki Yoneyama (APKC@AsiaCCS, 2021)

Revocable Hierarchical Identity-Based Authenticated Key Exchange. - Yuki Okano; Junichi Tomida; Akira Nagai; Kazuki Yoneyama; Atsushi Fujioka; Koutarou Suzuki (ICISC, 2021)

Post-Quantum Variants of ISO/IEC Standards: Compact Chosen Ciphertext Secure Key Encapsulation Mechanism from Isogenies. - Kazuki Yoneyama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021)

Verification of Group Key Management of IEEE 802.21 Using ProVerif. - Ryoga Noguchi; Yoshikazu Hanatani; Kazuki Yoneyama (IEICE Trans. Inf. Syst., 2021)

Query-Efficient Black-Box Adversarial Attack with Random Pattern Noises. - Makoto Yuito; Kenta Suzuki; Kazuki Yoneyama (ICICS, 2022)

Quantum Key Recovery Attacks on 3-Round Feistel-2 Structure Without Quantum Encryption Oracles. - Takanori Daiza; Kazuki Yoneyama (IWSEC, 2022)

Formal Verification of Fair Exchange Based on Bitcoin Smart Contracts. - Cheng Shi; Kazuki Yoneyama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2022)

Adaptive-ID Secure Hierarchical ID-Based Authenticated Key Exchange under Standard Assumptions without Random Oracles. - Ren Ishibashi; Kazuki Yoneyama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2022)

Compact Password Authenticated Key Exchange from Group Actions. - Ren Ishibashi; Kazuki Yoneyama (ACISP, 2023)

Post-Quantum Anonymous One-Sided Authenticated Key Exchange without Random Oracles. - Ren Ishibashi; Kazuki Yoneyama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2023)

Formal Verification of Challenge Flow in EMV 3-D Secure. - Kakeru Watanabe; Kazuki Yoneyama (ACISP (2), 2024)

Formal Verification of Wireless Charging Standard Qi. - Kazuhiro Fujita; Kazuki Yoneyama (APKC@AsiaCCS, 2024)

Tightly Secure ID-based Authenticated Key Exchange. - Takumu Mita; Kazuki Yoneyama (APKC@AsiaCCS, 2024)

Simultaneous Multiplication Protocol Based on Packed Linear Secret Sharing and Its Applications. - Shohei Mita; Kazuki Yoneyama (ICISC, 2024)

Big Data-based Authenticated Key Exchange Resilient to Ephemeral Key Leakage without Random Oracles. - Ren Ishibashi; Kazuki Yoneyama (J. Inf. Process., 2024)

Formal Verification and Proof of Impossibility for Four-Card XOR Protocols Using Only Random Cuts. - Kazuhiro Fujita; Shota Ikeda; Kazumasa Shinagawa; Kazuki Yoneyama (APKC@AsiaCCS, 2025)

Formal Verification of Challenge Flow in EMV 3-D Secure and Its Improvement. - Kakeru Watanabe; Kazuki Yoneyama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2025)