Kazuki Yoneyama

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 52

Top Venues

IEICE Trans. Fundam. Electron. Commun. Comput. Sci.

ProvSec

IACR Cryptol. ePrint Arch.

APKC@AsiaCCS

Publications

Kazuhiro Fujita, Kazuki Yoneyama
Formal Verification of Wireless Charging Standard Qi. APKC@AsiaCCS (2024)
Takumu Mita, Kazuki Yoneyama
Tightly Secure ID-based Authenticated Key Exchange. APKC@AsiaCCS (2024)
Kakeru Watanabe, Kazuki Yoneyama
Formal Verification of Challenge Flow in EMV 3-D Secure. ACISP (2) (2024)
Ren Ishibashi, Kazuki Yoneyama
Compact Password Authenticated Key Exchange from Group Actions. ACISP (2023)
Ren Ishibashi, Kazuki Yoneyama
Post-Quantum Anonymous One-Sided Authenticated Key Exchange without Random Oracles. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 106 (9) (2023)
Makoto Yuito, Kenta Suzuki, Kazuki Yoneyama
Query-Efficient Black-Box Adversarial Attack with Random Pattern Noises. ICICS (2022)
Takanori Daiza, Kazuki Yoneyama
Quantum Key Recovery Attacks on 3-Round Feistel-2 Structure Without Quantum Encryption Oracles. IWSEC (2022)
Ren Ishibashi, Kazuki Yoneyama
Post-quantum Anonymous One-Sided Authenticated Key Exchange Without Random Oracles. Public Key Cryptography (2) (2022)
Cheng Shi, Kazuki Yoneyama
Formal Verification of Fair Exchange Based on Bitcoin Smart Contracts. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (3) (2022)
Ren Ishibashi, Kazuki Yoneyama
Adaptive-ID Secure Hierarchical ID-Based Authenticated Key Exchange under Standard Assumptions without Random Oracles. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (9) (2022)
Ren Ishibashi, Kazuki Yoneyama
Post-Quantum Anonymous One-Sided Authenticated Key Exchange without Random Oracles. IACR Cryptol. ePrint Arch. 2022 (2022)
Ryoga Noguchi, Yoshikazu Hanatani, Kazuki Yoneyama
Verification of Group Key Management of IEEE 802.21 Using ProVerif. IEICE Trans. Inf. Syst. (10) (2021)
Toshiya Shibata, Kazuki Yoneyama
Universally Composable Forward Secure Dynamic Searchable Symmetric Encryption. APKC@AsiaCCS (2021)
Ren Ishibashi, Kazuki Yoneyama
Adaptive-ID Secure Hierarchical ID-Based Authenticated Key Exchange Under Standard Assumptions Without Random Oracles. ACNS (1) (2021)
Kazuki Yoneyama
Post-Quantum Variants of ISO/IEC Standards: Compact Chosen Ciphertext Secure Key Encapsulation Mechanism from Isogenies. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (1) (2021)
Yuki Okano, Junichi Tomida, Akira Nagai, Kazuki Yoneyama, Atsushi Fujioka, Koutarou Suzuki
Revocable Hierarchical Identity-Based Authenticated Key Exchange. ICISC (2021)
Hayami Motohashi, Kazuki Yoneyama
Memory Efficient and Provably Secure Virus Detection. ISITA (2020)
Ryoga Noguchi, Yoshikazu Hanatani, Kazuki Yoneyama
Verification of Group Key Management of IEEE 802.21 using ProVerif. APKC@AsiaCCS (2020)
Cheng Shi, Kazuki Yoneyama
Formal Verification of Fair Exchange Based on Bitcoin Smart Contracts. INDOCRYPT (2020)
Kazuki Yoneyama
Password-Based Authenticated Key Exchange without Centralized Trusted Setup. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (10) (2020)
Kazuki Yoneyama
Post-Quantum Variants of ISO/IEC Standards: Compact Chosen Ciphertext Secure Key Encapsulation Mechanism from Isogeny. SSR (2019)
Shintaro Terada, Kazuki Yoneyama
Password-Based Authenticated Key Exchange from Standard Isogeny Assumptions. ProvSec (2019)
Atsushi Fujioka, Katsuyuki Takashima, Kazuki Yoneyama
One-Round Authenticated Group Key Exchange from Isogenies. ProvSec (2019)
Cheng Shi, Kazuki Yoneyama
Verification of LINE Encryption Version 1.0 Using ProVerif. IEICE Trans. Inf. Syst. (8) (2019)
Kazuki Yoneyama
Post-Quantum Variants of ISO/IEC Standards: Compact Chosen Ciphertext Secure Key Encapsulation Mechanism from Isogenies. IACR Cryptol. ePrint Arch. 2019 (2019)
Kazuki Yoneyama, Reo Yoshida, Yuto Kawahara, Tetsutaro Kobayashi, Hitoshi Fuji, Tomohide Yamamoto
Exposure-Resilient Identity-Based Dynamic Multi-Cast Key Distribution. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (6) (2018)
Kazuki Yoneyama, Reo Yoshida, Yuto Kawahara, Tetsutaro Kobayashi, Hitoshi Fuji, Tomohide Yamamoto
Multi-cast key distribution: scalable, dynamic and provably secure construction. Int. J. Inf. Sec. 17 (5) (2018)
Atsushi Fujioka, Katsuyuki Takashima, Shintaro Terada, Kazuki Yoneyama
Supersingular Isogeny Diffie-Hellman Authenticated Key Exchange. ICISC (2018)
Cheng Shi, Kazuki Yoneyama
Verification of LINE Encryption Version 1.0 Using ProVerif. IWSEC (2018)
Atsushi Fujioka, Kazuki Yoneyama
Single Private-Key Generator Security Implies Multiple Private-Key Generators Security. ProvSec (2018)
Shintaro Terada, Kazuki Yoneyama
Improved Verifiable Delegated Private Set Intersection. ISITA (2018)
Atsushi Fujioka, Katsuyuki Takashima, Shintaro Terada, Kazuki Yoneyama
Supersingular Isogeny Diffie-Hellman Authenticated Key Exchange. IACR Cryptol. ePrint Arch. 2018 (2018)
Kazuki Yoneyama
Formal modeling of random oracle programmability and verification of signature unforgeability using task-PIOAs. Int. J. Inf. Sec. 17 (1) (2018)
Yuma Kanai, Kazuki Yoneyama
On Hiding Access Timings in ORAM. ISITA (2018)
Jae Hong Seo, Keita Emura, Keita Xagawa, Kazuki Yoneyama
Accumulable optimistic fair exchange from verifiably encrypted homomorphic signatures. Int. J. Inf. Sec. 17 (2) (2018)
Atsushi Fujioka, Katsuyuki Takashima, Kazuki Yoneyama
One-Round Authenticated Group Key Exchange from Isogenies. IACR Cryptol. ePrint Arch. 2018 (2018)
Kazuki Yoneyama, Goichiro Hanaoka
Compact public key encryption without full random oracles. Pervasive Mob. Comput. 41 (2017)
Naoto Itakura, Kaoru Kurosawa, Kazuki Yoneyama
Oblivious Polynomial Evaluation in the Exponent, Revisited. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (1) (2017)
Kazuki Yoneyama, Shogo Kimura
Verifiable and Forward Secure Dynamic Searchable Symmetric Encryption with Storage Efficiency. ICICS (2017)
Yukou Kobayashi, Naoto Yanai, Kazuki Yoneyama, Takashi Nishide, Goichiro Hanaoka, Kwangjo Kim, Eiji Okamoto
Provably Secure Gateway Threshold Password-Based Authenticated Key Exchange Secure against Undetectable On-Line Dictionary Attack. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (12) (2017)
Kazuki Yoneyama
Computational Soundness of Asymmetric Bilinear Pairing-Based Protocols. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (9) (2017)
Tomoyoshi Ono, Kazuki Yoneyama
On Randomness Exposure Resilience of Group Signatures. IEICE Trans. Inf. Syst. (10) (2017)
Kazuki Yoneyama, Reo Yoshida, Yuto Kawahara, Tetsutaro Kobayashi, Hitoshi Fuji, Tomohide Yamamoto
Multi-Cast Key Distribution: Scalable, Dynamic and Provably Secure Construction. IACR Cryptol. ePrint Arch. 2016 (2016)
Hideki Sakurada, Kazuki Yoneyama, Yoshikazu Hanatani, Maki Yoshida
Analyzing and Fixing the QACCE Security of QUIC. SSR (2016)
Kazuki Yoneyama
One-Round Authenticated Key Exchange without Implementation Tricks. J. Inf. Process. 24 (1) (2016)
Kaoru Kurosawa, Keisuke Sasaki, Kiyohiko Ohta, Kazuki Yoneyama
UC-Secure Dynamic Searchable Symmetric Encryption Scheme. IWSEC (2016)
Kazuki Yoneyama, Reo Yoshida, Yuto Kawahara, Tetsutaro Kobayashi, Hitoshi Fuji, Tomohide Yamamoto
Multi-cast Key Distribution: Scalable, Dynamic and Provably Secure Construction. ProvSec (2016)
Shogo Kimura, Kazuki Yoneyama
Security proof of identity-based signature under RSA assumption, reconsidered. ISITA (2016)
Kazuki Yoneyama
Compact Authenticated Key Exchange from Bounded CCA-Secure KEM. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (1) (2015)
Atsushi Fujioka, Koutarou Suzuki, Keita Xagawa, Kazuki Yoneyama
Strongly secure authenticated key exchange from factoring, codes, and lattices. Des. Codes Cryptogr. 76 (3) (2015)
Jae Hong Seo, Keita Emura, Keita Xagawa, Kazuki Yoneyama
Accumulable Optimistic Fair Exchange from Verifiably Encrypted Homomorphic Signatures. ACNS (2015)
Yukou Kobayashi, Naoto Yanai, Kazuki Yoneyama, Takashi Nishide, Goichiro Hanaoka, Kwangjo Kim, Eiji Okamoto
Gateway Threshold Password-based Authenticated Key Exchange Secure against Undetectable On-line Dictionary Attack. SECRYPT (2015)
Kazuma Ohara, Kazuo Ohta, Koutarou Suzuki, Kazuki Yoneyama
Constant Rounds Almost Linear Complexity Multi-party Computation for Prefix Sum. AFRICACRYPT (2014)
Kazuki Yoneyama
Practical and Exposure-Resilient Hierarchical ID-Based Authenticated Key Exchange without Random Oracles. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (6) (2014)
Kazuki Yoneyama
Computational Soundness of Asymmetric Bilinear Pairing-Based Protocols. ProvSec (2014)
Kazuki Yoneyama
Password-Based Authenticated Key Exchange without Centralized Trusted Setup. ACNS (2014)
Kazuki Yoneyama, Goichiro Hanaoka
Compact Public Key Encryption with Minimum Ideal Property of Hash Functions. ProvSec (2014)
Yusuke Naito, Kazuki Yoneyama, Kazuo Ohta
Reset Indifferentiability from Weakened Random Oracle Salvages One-Pass Hash Functions. ACNS (2014)
Koutarou Suzuki, Kazuki Yoneyama
Exposure-Resilient One-Round Tripartite Key Exchange without Random Oracles. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (6) (2014)
Koutarou Suzuki, Kazuki Yoneyama
Secure Multi-Party Computation for Elliptic Curves. IWSEC (2014)
Koutarou Suzuki, Kazuki Yoneyama
Converting PKI-Based Authenticated Key Exchange to Identity-Based. CANS (2014)
Kazuki Yoneyama
Formal Modeling of Random Oracle Programmability and Verification of Signature Unforgeability Using Task-PIOAs. ICISC (2014)
Kazuki Yoneyama
Compact Authenticated Key Exchange from Bounded CCA-Secure KEM. INDOCRYPT (2013)
Kazuki Yoneyama
One-Round Authenticated Key Exchange without Implementation Trick. IWSEC (2013)
Kazuki Yoneyama
One-Round Authenticated Key Exchange with Strong Forward Secrecy in the Standard Model against Constrained Adversary. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (6) (2013)
Atsushi Fujioka, Koutarou Suzuki, Keita Xagawa, Kazuki Yoneyama
Practical and post-quantum authenticated key exchange from one-way secure key encapsulation mechanism. AsiaCCS (2013)
Kazuki Yoneyama
Generic Construction of Two-Party Round-Optimal Attribute-Based Authenticated Key Exchange without Random Oracles. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (6) (2013)
Kazuki Yoneyama
Practical and Exposure-resilient Hierarchical ID-based Authenticated Key Exchange without Random Oracles. SECRYPT (2013)
Atsushi Fujioka, Fumitaka Hoshino, Tetsutaro Kobayashi, Koutarou Suzuki, Berkant Ustaoglu, Kazuki Yoneyama
id-eCK Secure ID-Based Authenticated Key Exchange on Symmetric and Asymmetric Pairing. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (6) (2013)
Koutarou Suzuki, Kazuki Yoneyama
Exposure-Resilient One-Round Tripartite Key Exchange without Random Oracles. ACNS (2013)
Atsushi Fujioka, Koutarou Suzuki, Keita Xagawa, Kazuki Yoneyama
Strongly Secure Authenticated Key Exchange from Factoring, Codes, and Lattices. IACR Cryptol. ePrint Arch. 2012 (2012)
Atsushi Fujioka, Koutarou Suzuki, Kazuki Yoneyama
Strongly Secure Predicate-Based Authenticated Key Exchange: Definition and Constructions. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (1) (2012)
Kazuki Yoneyama
One-Round Authenticated Key Exchange with Strong Forward Secrecy in the Standard Model against Constrained Adversary. IWSEC (2012)
Kazuki Yoneyama
Indifferentiable Security Reconsidered: Role of Scheduling. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (1) (2012)
Atsushi Fujioka, Koutarou Suzuki, Keita Xagawa, Kazuki Yoneyama
Strongly Secure Authenticated Key Exchange from Factoring, Codes, and Lattices. Public Key Cryptography (2012)
Kazuki Yoneyama
Two-Party Round-Optimal Session-Policy Attribute-Based Authenticated Key Exchange without Random Oracles. ICISC (2011)
Yusuke Naito, Kazuki Yoneyama, Lei Wang, Kazuo Ohta
Security of Cryptosystems Using Merkle-Damgård in the Random Oracle Model. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (1) (2011)
Mebae Ushida, Yutaka Kawai, Kazuki Yoneyama, Kazuo Ohta
Proxiable Designated Verifier Signature. Inf. Media Technol. 6 (4) (2011)
Atsushi Fujioka, Koutarou Suzuki, Kazuki Yoneyama
Hierarchical ID-Based Authenticated Key Exchange Resilient to Ephemeral Key Leakage. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (6) (2011)
Mebae Ushida, Yutaka Kawai, Kazuki Yoneyama, Kazuo Ohta
Proxiable Designated Verifier Signature. J. Inf. Process. 19 (2011)
Kazuki Yoneyama, Masayuki Terada, Sadayuki Hongo, Kazuo Ohta
Universally Composable NBAC-Based Fair Voucher Exchange for Mobile Environments. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (6) (2011)
Yusuke Naito, Kazuki Yoneyama, Lei Wang, Kazuo Ohta
Security of Practical Cryptosystems Using Merkle-Damgård Hash Function in the Ideal Cipher Model. ProvSec (2011)
Kazuki Yoneyama, Yunlei Zhao
Taxonomical Security Consideration of Authenticated Key Exchange Resilient to Intermediate Computation Leakage. ProvSec (2011)
Yutaka Kawai, Shotaro Tanno, Takahiro Kondo, Kazuki Yoneyama, Kazuo Ohta, Noboru Kunihiro
Extension of Secret Handshake Protocols with Multiple Groups in Monotone Condition. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (6) (2010)
Kazuki Yoneyama, Mebae Ushida, Kazuo Ohta
Rigorous Security Requirements for Designated Verifier Signatures. Inscrypt (2010)
Mebae Ushida, Kazuo Ohta, Yutaka Kawai, Kazuki Yoneyama
Proxiable Designated Verifier Signature. SECRYPT (2010)
Kazuki Yoneyama
Indifferentiable Security Reconsidered: Role of Scheduling. ISC (2010)
Atsushi Fujioka, Koutarou Suzuki, Kazuki Yoneyama
Predicate-Based Authenticated Key Exchange Resilient to Ephemeral Key Leakage. WISA (2010)
Kazuki Yoneyama, Masayuki Terada, Sadayuki Hongo, Kazuo Ohta
Universally Composable NBAC-Based Fair Voucher Exchange for Mobile Environments. IWSEC (Short Papers) (2010)
Mebae Ushida, Yutaka Kawai, Kazuki Yoneyama, Kazuo Ohta
Proxiable Designated Verifier Signature. ICETE (Selected Papers) (2010)
Kazuki Yoneyama
Cross-Realm Password-Based Server Aided Key Exchange. WISA (2010)
Kazuki Yoneyama
Strongly Secure Two-Pass Attribute-Based Authenticated Key Exchange. Pairing (2010)
Atsushi Fujioka, Koutarou Suzuki, Kazuki Yoneyama
Hierarchical ID-Based Authenticated Key Exchange Resilient to Ephemeral Key Leakage. IWSEC (2010)
Yusuke Naito, Kazuki Yoneyama, Lei Wang, Kazuo Ohta
How to Confirm Cryptosystems Security: The Original Merkle-Damgård Is Still Alive! ASIACRYPT (2009)
Yusuke Naito, Kazuki Yoneyama, Lei Wang, Kazuo Ohta
How to Prove the Security of Practical Cryptosystems with Merkle-Damgård Hashing by Adopting Indifferentiability. IACR Cryptol. ePrint Arch. 2009 (2009)
Kazuki Yoneyama
Efficient and Strongly Secure Password-based Server Aided Key Exchange. J. Inf. Process. 17 (2009)
Yusuke Naito, Kazuki Yoneyama, Lei Wang, Kazuo Ohta
Security of Practical Cryptosystems Using Merkle-Damgard Hash Function in the Ideal Cipher Model. IACR Cryptol. ePrint Arch. 2009 (2009)
Yutaka Kawai, Kazuki Yoneyama, Kazuo Ohta
Secret Handshake: Strong Anonymity Definition and Construction. IACR Cryptol. ePrint Arch. 2009 (2009)
Takashi Nishide, Kazuki Yoneyama, Kazuo Ohta
Attribute-Based Encryption with Partially Hidden Ciphertext Policies. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (1) (2009)
Yutaka Kawai, Kazuki Yoneyama, Kazuo Ohta
Secret Handshake: Strong Anonymity Definition and Construction. ISPEC (2009)

Kazuki Yoneyama.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kazuki Yoneyama