Kazuki Yoneyama

According to our database, Kazuki Yoneyama authored at least 84 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Big Data-based Authenticated Key Exchange Resilient to Ephemeral Key Leakage without Random Oracles.

Ren Ishibashi, Kazuki Yoneyama

J. Inf. Process., 2024

Tightly Secure ID-based Authenticated Key Exchange.

Takumu Mita, Kazuki Yoneyama

Proceedings of the 11th ACM Asia Public-Key Cryptography Workshop, 2024

Formal Verification of Wireless Charging Standard Qi.

Kazuhiro Fujita, Kazuki Yoneyama

Proceedings of the 11th ACM Asia Public-Key Cryptography Workshop, 2024

Formal Verification of Challenge Flow in EMV 3-D Secure.

Kakeru Watanabe, Kazuki Yoneyama

Proceedings of the Information Security and Privacy - 29th Australasian Conference, 2024

2023

Post-Quantum Anonymous One-Sided Authenticated Key Exchange without Random Oracles.

Ren Ishibashi, Kazuki Yoneyama

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., September, 2023

Compact Password Authenticated Key Exchange from Group Actions.

Ren Ishibashi, Kazuki Yoneyama

Proceedings of the Information Security and Privacy - 28th Australasian Conference, 2023

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., September, 2022

Formal Verification of Fair Exchange Based on Bitcoin Smart Contracts.

Cheng Shi, Kazuki Yoneyama

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

Quantum Key Recovery Attacks on 3-Round Feistel-2 Structure Without Quantum Encryption Oracles.

Takanori Daiza, Kazuki Yoneyama

Proceedings of the Advances in Information and Computer Security, 2022

Query-Efficient Black-Box Adversarial Attack with Random Pattern Noises.

Makoto Yuito, Kenta Suzuki, Kazuki Yoneyama

Proceedings of the Information and Communications Security - 24th International Conference, 2022

2021

Verification of Group Key Management of IEEE 802.21 Using ProVerif.

Ryoga Noguchi, Yoshikazu Hanatani, Kazuki Yoneyama

IEICE Trans. Inf. Syst., 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

Revocable Hierarchical Identity-Based Authenticated Key Exchange.

Yuki Okano, Junichi Tomida, Akira Nagai, Kazuki Yoneyama, Atsushi Fujioka, Koutarou Suzuki

Proceedings of the Information Security and Cryptology - ICISC 2021, 2021

Universally Composable Forward Secure Dynamic Searchable Symmetric Encryption.

Toshiya Shibata, Kazuki Yoneyama

Proceedings of the 8th on ASIA Public-Key Cryptography Workshop, 2021

2020

Password-Based Authenticated Key Exchange without Centralized Trusted Setup.

Kazuki Yoneyama

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

Memory Efficient and Provably Secure Virus Detection.

Hayami Motohashi, Kazuki Yoneyama

Proceedings of the International Symposium on Information Theory and Its Applications, 2020

2019

Verification of LINE Encryption Version 1.0 Using ProVerif.

Cheng Shi, Kazuki Yoneyama

IEICE Trans. Inf. Syst., 2019

Post-Quantum Variants of ISO/IEC Standards: Compact Chosen Ciphertext Secure Key Encapsulation Mechanism from Isogeny.

Kazuki Yoneyama

Proceedings of the 5th ACM Workshop on Security Standardisation Research Workshop, 2019

Password-Based Authenticated Key Exchange from Standard Isogeny Assumptions.

Shintaro Terada, Kazuki Yoneyama

Proceedings of the Provable Security, 2019

2018

Formal modeling of random oracle programmability and verification of signature unforgeability using task-PIOAs.

Kazuki Yoneyama

Int. J. Inf. Sec., 2018

Accumulable optimistic fair exchange from verifiably encrypted homomorphic signatures.

Jae Hong Seo, Keita Emura, Keita Xagawa, Kazuki Yoneyama

Int. J. Inf. Sec., 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

One-Round Authenticated Group Key Exchange from Isogenies.

Atsushi Fujioka, Katsuyuki Takashima, Kazuki Yoneyama

IACR Cryptol. ePrint Arch., 2018

Supersingular Isogeny Diffie-Hellman Authenticated Key Exchange.

Atsushi Fujioka, Katsuyuki Takashima, Shintaro Terada, Kazuki Yoneyama

IACR Cryptol. ePrint Arch., 2018

Single Private-Key Generator Security Implies Multiple Private-Key Generators Security.

Atsushi Fujioka, Kazuki Yoneyama

Proceedings of the Provable Security, 2018

Improved Verifiable Delegated Private Set Intersection.

Shintaro Terada, Kazuki Yoneyama

Proceedings of the International Symposium on Information Theory and Its Applications, 2018

On Hiding Access Timings in ORAM.

Yuma Kanai, Kazuki Yoneyama

Proceedings of the International Symposium on Information Theory and Its Applications, 2018

2017

Compact public key encryption without full random oracles.

Kazuki Yoneyama, Goichiro Hanaoka

Pervasive Mob. Comput., 2017

Computational Soundness of Asymmetric Bilinear Pairing-Based Protocols.

Kazuki Yoneyama

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

On Randomness Exposure Resilience of Group Signatures.

Tomoyoshi Ono, Kazuki Yoneyama

IEICE Trans. Inf. Syst., 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

Oblivious Polynomial Evaluation in the Exponent, Revisited.

Naoto Itakura, Kaoru Kurosawa, Kazuki Yoneyama

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

Verifiable and Forward Secure Dynamic Searchable Symmetric Encryption with Storage Efficiency.

Kazuki Yoneyama, Shogo Kimura

Proceedings of the Information and Communications Security - 19th International Conference, 2017

2016

One-Round Authenticated Key Exchange without Implementation Tricks.

Kazuki Yoneyama

J. Inf. Process., 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

Analyzing and Fixing the QACCE Security of QUIC.

Hideki Sakurada, Kazuki Yoneyama, Yoshikazu Hanatani, Maki Yoshida

Proceedings of the Security Standardisation Research - Third International Conference, 2016

UC-Secure Dynamic Searchable Symmetric Encryption Scheme.

Kaoru Kurosawa, Keisuke Sasaki, Kiyohiko Ohta, Kazuki Yoneyama

Proceedings of the Advances in Information and Computer Security, 2016

Security proof of identity-based signature under RSA assumption, reconsidered.

Shogo Kimura, Kazuki Yoneyama

Proceedings of the 2016 International Symposium on Information Theory and Its Applications, 2016

2015

Compact Authenticated Key Exchange from Bounded CCA-Secure KEM.

Kazuki Yoneyama

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

Strongly secure authenticated key exchange from factoring, codes, and lattices.

Atsushi Fujioka, Koutarou Suzuki, Keita Xagawa, Kazuki Yoneyama

Des. Codes Cryptogr., 2015

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

Proceedings of the SECRYPT 2015, 2015

2014

Practical and Exposure-Resilient Hierarchical ID-Based Authenticated Key Exchange without Random Oracles.

Kazuki Yoneyama

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

Exposure-Resilient One-Round Tripartite Key Exchange without Random Oracles.

Koutarou Suzuki, Kazuki Yoneyama

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

Compact Public Key Encryption with Minimum Ideal Property of Hash Functions.

Kazuki Yoneyama, Goichiro Hanaoka

Proceedings of the Provable Security - 8th International Conference, 2014

Secure Multi-Party Computation for Elliptic Curves.

Koutarou Suzuki, Kazuki Yoneyama

Proceedings of the Advances in Information and Computer Security, 2014

Converting PKI-Based Authenticated Key Exchange to Identity-Based.

Koutarou Suzuki, Kazuki Yoneyama

Proceedings of the Cryptology and Network Security - 13th International Conference, 2014

Constant Rounds Almost Linear Complexity Multi-party Computation for Prefix Sum.

Kazuma Ohara, Kazuo Ohta, Koutarou Suzuki, Kazuki Yoneyama

Proceedings of the Progress in Cryptology - AFRICACRYPT 2014, 2014

Reset Indifferentiability from Weakened Random Oracle Salvages One-Pass Hash Functions.

Yusuke Naito, Kazuki Yoneyama, Kazuo Ohta

Proceedings of the Applied Cryptography and Network Security, 2014

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

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

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

One-Round Authenticated Key Exchange without Implementation Trick.

Kazuki Yoneyama

Proceedings of the Advances in Information and Computer Security, 2013

Practical and post-quantum authenticated key exchange from one-way secure key encapsulation mechanism.

Atsushi Fujioka, Koutarou Suzuki, Keita Xagawa, Kazuki Yoneyama

Proceedings of the 8th ACM Symposium on Information, Computer and Communications Security, 2013

2012

Indifferentiable Security Reconsidered: Role of Scheduling.

Kazuki Yoneyama

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

Strongly Secure Predicate-Based Authenticated Key Exchange: Definition and Constructions.

Atsushi Fujioka, Koutarou Suzuki, Kazuki Yoneyama

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

2011

Proxiable Designated Verifier Signature.

Mebae Ushida, Yutaka Kawai, Kazuki Yoneyama, Kazuo Ohta

J. Inf. Process., 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

Security of Cryptosystems Using Merkle-Damgård in the Random Oracle Model.

Yusuke Naito, Kazuki Yoneyama, Lei Wang, Kazuo Ohta

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 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

Taxonomical Security Consideration of Authenticated Key Exchange Resilient to Intermediate Computation Leakage.

Kazuki Yoneyama, Yunlei Zhao

Proceedings of the Provable Security - 5th International Conference, 2011

Two-Party Round-Optimal Session-Policy Attribute-Based Authenticated Key Exchange without Random Oracles.

Kazuki Yoneyama

Proceedings of the Information Security and Cryptology - ICISC 2011 - 14th International Conference, Seoul, Korea, November 30, 2011

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

Cross-Realm Password-Based Server Aided Key Exchange.

Kazuki Yoneyama

Proceedings of the Information Security Applications - 11th International Workshop, 2010

Predicate-Based Authenticated Key Exchange Resilient to Ephemeral Key Leakage.

Atsushi Fujioka, Koutarou Suzuki, Kazuki Yoneyama

Proceedings of the Information Security Applications - 11th International Workshop, 2010

Strongly Secure Two-Pass Attribute-Based Authenticated Key Exchange.

Kazuki Yoneyama

Proceedings of the Pairing-Based Cryptography - Pairing 2010, 2010

Rigorous Security Requirements for Designated Verifier Signatures.

Kazuki Yoneyama, Mebae Ushida, Kazuo Ohta

Proceedings of the Information Security and Cryptology - 6th International Conference, 2010

2009

Efficient and Strongly Secure Password-based Server Aided Key Exchange.

Kazuki Yoneyama

J. Inf. Process., 2009

Leaky Random Oracle.

Kazuki Yoneyama, Satoshi Miyagawa, 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

Attribute-Based Encryption with Partially Hidden Ciphertext Policies.

Takashi Nishide, Kazuki Yoneyama, Kazuo Ohta

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

Security of Practical Cryptosystems Using Merkle-Damgard Hash Function in the Ideal Cipher Model.

Yusuke Naito, Kazuki Yoneyama, Lei Wang, 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, Kazuki Yoneyama, Lei Wang, Kazuo Ohta

IACR Cryptol. ePrint Arch., 2009

Secret Handshake: Strong Anonymity Definition and Construction.

Yutaka Kawai, Kazuki Yoneyama, Kazuo Ohta

IACR Cryptol. ePrint Arch., 2009

How to Confirm Cryptosystems Security: The Original Merkle-Damgård Is Still Alive!

Yusuke Naito, Kazuki Yoneyama, Lei Wang, Kazuo Ohta

Proceedings of the Advances in Cryptology, 2009

2008

Anonymous Message Authentication - Universally Composable Definition and Construction.

Kazuki Yoneyama

Proceedings of the SECRYPT 2008, 2008

Leaky Random Oracle (Extended Abstract).

Kazuki Yoneyama, Satoshi Miyagawa, Kazuo Ohta

Proceedings of the Provable Security, Second International Conference, 2008

Efficient and Strongly Secure Password-Based Server Aided Key Exchange (Extended Abstract).

Kazuki Yoneyama

Proceedings of the Progress in Cryptology, 2008

Attribute-Based Encryption with Partially Hidden Encryptor-Specified Access Structures.

Takashi Nishide, Kazuki Yoneyama, Kazuo Ohta

Proceedings of the Applied Cryptography and Network Security, 6th International Conference, 2008

2007

Ring Signatures: Universally Composable Definitions and Constructions.

Kazuki Yoneyama, Kazuo Ohta

Inf. Media Technol., 2007

Universally Composable Client-to-Client General Authenticated Key Exchange.

Haruki Ota, Kazuki Yoneyama, Shinsaku Kiyomoto, Toshiaki Tanaka, Kazuo Ohta

Inf. Media Technol., 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

Modeling Agreement Problems in the Universal Composability Framework.

Masayuki Terada, Kazuki Yoneyama, Sadayuki Hongo, Kazuo Ohta

Proceedings of the Information and Communications Security, 9th International Conference, 2007

Secure Cross-Realm Client-to-Client Password-Based Authenticated Key Exchange Against Undetectable On-Line Dictionary Attacks.

Kazuki Yoneyama, Haruki Ota, Kazuo Ohta

Proceedings of the Applied Algebra, 2007

2006

Visual Secret Sharing Schemes for Multiple Secret Images Allowing the Rotation of Shares.

Mitsugu Iwamoto, Lei Wang, Kazuki Yoneyama, Noboru Kunihiro, Kazuo Ohta

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