Kazuki Yoneyama

发表

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

Atsushi Fujioka, Kazuki Yoneyama, 2018, ProvSec.

Anonymous Message Authentication - Universally Composable Definition and Construction

Kazuki Yoneyama, 2008, SECRYPT.

Analyzing and Fixing the QACCE Security of QUIC

Kazuki Yoneyama, Hideki Sakurada, Yoshikazu Hanatani, 2016, SSR.

Oblivious Polynomial Evaluation in the Exponent, Revisited

Kazuki Yoneyama, Kaoru Kurosawa, Naoto Itakura, 2017, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

Computational Soundness of Asymmetric Bilinear Pairing-Based Protocols

Kazuki Yoneyama, 2014, ProvSec.

Strongly Secure Two-Pass Attribute-Based Authenticated Key Exchange

Kazuki Yoneyama, 2010, Pairing.

Password-Based Authenticated Key Exchange without Centralized Trusted Setup

Kazuki Yoneyama, Kazuki Yoneyama, 2014, ACNS.

id-eCK Secure ID-Based Authenticated Key Exchange on Symmetric and Asymmetric Pairing

Atsushi Fujioka, Kazuki Yoneyama, Koutarou Suzuki, 2013, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

Compact Authenticated Key Exchange from Bounded CCA-Secure KEM

Kazuki Yoneyama, Kazuki Yoneyama, 2013, INDOCRYPT.

Verification of LINE Encryption Version 1.0 Using ProVerif

Kazuki Yoneyama, Cheng Shi, 2019 .

Efficient and Strongly Secure Password-based Server Aided Key Exchange

Kazuki Yoneyama, 2009, J. Inf. Process..

Practical and exposure-resilient hierarchical ID-based authenticated key exchange without random oracles

Kazuki Yoneyama, Kazuki Yoneyama, 2013, 2013 International Conference on Security and Cryptography (SECRYPT).

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

Kazuki Yoneyama, Kazuo Ohta, Haruki Ota, 2007, AAECC.

One-Round Authenticated Group Key Exchange from Isogenies

Atsushi Fujioka, Kazuki Yoneyama, Katsuyuki Takashima, 2019, IACR Cryptol. ePrint Arch..

How to Prove the Security of Practical Cryptosystems with Merkle-Damgård Hashing by Adopting Indifferentiability

Kazuki Yoneyama, Yusuke Naito, Lei Wang, 2009, IACR Cryptol. ePrint Arch..

Formal Verification of Fair Exchange Based on Bitcoin Smart Contracts

Kazuki Yoneyama, Cheng Shi, Kazuki Yoneyama, 2020, INDOCRYPT.

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

Kazuki Yoneyama, Kazuo Ohta, Koutarou Suzuki, 2014, AFRICACRYPT.

Accumulable Optimistic Fair Exchange from Verifiably Encrypted Homomorphic Signatures

Kazuki Yoneyama, Keita Emura, Jae Hong Seo, 2015, ACNS.

Modeling Agreement Problems in the Universal Composability Framework

Kazuki Yoneyama, Kazuo Ohta, Masayuki Terada, 2007, ICICS.

Ring signatures: universally composable definitions and constructions

Kazuki Yoneyama, Kazuo Ohta, 2007, ASIACCS '07.

On Hiding Access Timings in ORAM

Kazuki Yoneyama, Yuma Kanai, 2018, 2018 International Symposium on Information Theory and Its Applications (ISITA).

Indifferentiable Security Reconsidered: Role of Scheduling

Kazuki Yoneyama, 2010, ISC.

UC-Secure Dynamic Searchable Symmetric Encryption Scheme

Kazuki Yoneyama, Kaoru Kurosawa, Kiyohiko Ohta, 2016, IWSEC.

Compact Authenticated Key Exchange from Bounded CCA-Secure KEM

Kazuki Yoneyama, 2013, INDOCRYPT.

Hierarchical ID-Based Authenticated Key Exchange Resilient to Ephemeral Key Leakage

Atsushi Fujioka, Kazuki Yoneyama, Koutarou Suzuki, 2011 .

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

Kazuki Yoneyama, Yusuke Naito, Lei Wang, 2009, ASIACRYPT.

Extension of Secret Handshake Protocols with Multiple Groups in Monotone Condition

Kazuki Yoneyama, Yutaka Kawai, Noboru Kunihiro, 2008, WISA.

Generic Construction of Two-Party Round-Optimal Attribute-Based Authenticated Key Exchange without Random Oracles

Kazuki Yoneyama, 2013, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

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

Mitsugu Iwamoto, Kazuki Yoneyama, Lei Wang, 2006, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

Hierarchical ID-Based Authenticated Key Exchange Resilient to Ephemeral Key Leakage

Atsushi Fujioka, Kazuki Yoneyama, Koutarou Suzuki, 2010, IWSEC.

Predicate-Based Authenticated Key Exchange Resilient to Ephemeral Key Leakage

Atsushi Fujioka, Kazuki Yoneyama, Koutarou Suzuki, 2010, WISA.

Supersingular Isogeny Diffie-Hellman Authenticated Key Exchange

Atsushi Fujioka, Kazuki Yoneyama, Katsuyuki Takashima, 2018, IACR Cryptol. ePrint Arch..

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

Kazuki Yoneyama, Shogo Kimura, 2016, 2016 International Symposium on Information Theory and Its Applications (ISITA).

One-Round Authenticated Key Exchange with Strong Forward Secrecy in the Standard Model against Constrained Adversary

Kazuki Yoneyama, 2013 .

Compact Public Key Encryption with Minimum Ideal Property of Hash Functions

Kazuki Yoneyama, Goichiro Hanaoka, Goichiro Hanaoka, 2014, ProvSec.

Proxiable Designated Verifier Signature

Kazuki Yoneyama, Yutaka Kawai, Mebae Ushida, 2010, 2010 International Conference on Security and Cryptography (SECRYPT).

Improved Verifiable Delegated Private Set Intersection

Kazuki Yoneyama, Shintaro Terada, 2018, 2018 International Symposium on Information Theory and Its Applications (ISITA).

Universally Composable NBAC-Based Fair Voucher Exchange for Mobile Environments

Kazuki Yoneyama, Kazuo Ohta, Masayuki Terada, 2010, IWSEC.

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

Kazuki Yoneyama, Koutarou Suzuki, 2013, ACNS.

Password-Based Authenticated Key Exchange without Centralized Trusted Setup

Kazuki Yoneyama, 2020 .

Password-Based Authenticated Key Exchange from Standard Isogeny Assumptions

Kazuki Yoneyama, Shintaro Terada, Kazuki Yoneyama, 2019, ProvSec.

Does Secure Password-Based Authenticated Key Exchange against Leakage of Internal States Exist?

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

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

Atsushi Fujioka, Kazuki Yoneyama, Koutarou Suzuki, 2012, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

Universally Composable Client-to-Client General Authenticated Key Exchange

Kazuki Yoneyama, Kazuo Ohta, Haruki Ota, 2007 .

Exposure-Resilient Identity-Based Dynamic Multi-Cast Key Distribution

Kazuki Yoneyama, Yuto Kawahara, Hitoshi Fuji, 2018, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

Leaky Random Oracle

Kazuki Yoneyama, Kazuo Ohta, Satoshi Miyagawa, 2009, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

One-Round Authenticated Key Exchange without Implementation Tricks

Kazuki Yoneyama, 2016, J. Inf. Process..

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

Kazuki Yoneyama, Yusuke Naito, Lei Wang, 2011, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

Leaky Random Oracle (Extended Abstract)

Kazuki Yoneyama, Kazuo Ohta, Satoshi Miyagawa, 2008, ProvSec.

Session details: Session 2

Kazuki Yoneyama, 2020 .

Rigorous Security Requirements for Designated Verifier Signatures

Kazuki Yoneyama, Kazuo Ohta, Mebae Ushida, 2010, Inscrypt.

Verifiable and Forward Secure Dynamic Searchable Symmetric Encryption with Storage Efficiency

Kazuki Yoneyama, Shogo Kimura, 2017, ICICS.

One-Round Authenticated Key Exchange without Implementation Trick

Kazuki Yoneyama, Kazuki Yoneyama, 2013, IWSEC.

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

Kazuki Yoneyama, Koutarou Suzuki, Koutarou Suzuki, 2013, ACNS.

On Randomness Exposure Resilience of Group Signatures

Kazuki Yoneyama, Tomoyoshi Ono, 2017, IEICE Trans. Inf. Syst..

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

Kazuki Yoneyama, Kazuo Ohta, Takashi Nishide, 2008, ACNS.

Secure Multi-Party Computation for Elliptic Curves

Kazuki Yoneyama, Koutarou Suzuki, Koutarou Suzuki, 2014, IWSEC.

Davies-Meyer Merkle-Damgard Revisited: Variants of Indifferentiability and Random Oracles

Kazuki Yoneyama, Yusuke Naito, Kazuo Ohta, 2009 .

Formal Modeling of Random Oracle Programmability and Verification of Signature Unforgeability Using Task-PIOAs

Kazuki Yoneyama, 2014, ICISC.

Strongly Secure Authenticated Key Exchange from Factoring, Codes, and Lattices

Atsushi Fujioka, Kazuki Yoneyama, Koutarou Suzuki, 2012, Public Key Cryptography.

Multi-cast key distribution: scalable, dynamic and provably secure construction

Kazuki Yoneyama, Yuto Kawahara, Hitoshi Fuji, 2017, International Journal of Information Security.

Cross-Realm Password-Based Server Aided Key Exchange

Kazuki Yoneyama, Kazuki Yoneyama, 2010, WISA.

Verification of LINE Encryption Version 1.0 Using ProVerif

Kazuki Yoneyama, Cheng Shi, 2018, IWSEC.

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

Atsushi Fujioka, Kazuki Yoneyama, Koutarou Suzuki, 2013, ASIA CCS '13.

Secret Handshake: Strong Anonymity Definition and Construction

Kazuki Yoneyama, Yutaka Kawai, Kazuo Ohta, 2009, ISPEC.

Verification of Group Key Management of IEEE 802.21 using ProVerif

Kazuki Yoneyama, Yoshikazu Hanatani, Ryoga Noguchi, 2020, APKC@AsiaCCS.

Converting PKI-Based Authenticated Key Exchange to Identity-Based

Kazuki Yoneyama, Koutarou Suzuki, Koutarou Suzuki, 2014, CANS.

Universally Composable Hierarchical Hybrid Authenticated Key Exchange

Kazuki Yoneyama, Kazuo Ohta, Haruki Ota, 2007, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

Attribute-Based Encryption with Partially Hidden Ciphertext Policies

Kazuki Yoneyama, Kazuo Ohta, Takashi Nishide, 2009, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

Provably Secure Gateway Threshold Password-Based Authenticated Key Exchange Secure against Undetectable On-Line Dictionary Attack

Kazuki Yoneyama, Kwangjo Kim, Naoto Yanai, 2017, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

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

Yunlei Zhao, Kazuki Yoneyama, Kazuki Yoneyama, 2011, ProvSec.

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

Kazuki Yoneyama, 2008, INDOCRYPT.

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

Kazuki Yoneyama, 2011, ICISC.

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

Kazuki Yoneyama, Kazuki Yoneyama, 2019, IACR Cryptol. ePrint Arch..

Ring Signatures: Universally Composable Definitions and Constructions

Kazuki Yoneyama, Kazuo Ohta, 2007 .

Compact public key encryption without full random oracles

Kazuki Yoneyama, Goichiro Hanaoka, 2017, Pervasive Mob. Comput..

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

Kazuki Yoneyama, Yusuke Naito, Kazuo Ohta, 2014, ACNS.

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

Kazuki Yoneyama, 2016, International Journal of Information Security.

One-Round Authenticated Key Exchange with Strong Forward Secrecy in the Standard Model against Constrained Adversary

Kazuki Yoneyama, 2012, IWSEC.

Proxiable Designated Verifier Signature

Kazuki Yoneyama, Yutaka Kawai, Kazuo Ohta, 2011, J. Inf. Process..

Gateway threshold password-based Authenticated Key Exchange secure against Undetectable On-line Dictionary Attack

Kazuki Yoneyama, Kwangjo Kim, Naoto Yanai, 2015, 2015 12th International Joint Conference on e-Business and Telecommunications (ICETE).

Accumulable optimistic fair exchange from verifiably encrypted homomorphic signatures

Kazuki Yoneyama, Keita Emura, Jae Hong Seo, 2015, International Journal of Information Security.

Security of Practical Cryptosystems Using Merkle-Damgård Hash Function in the Ideal Cipher Model

Kazuki Yoneyama, Yusuke Naito, Lei Wang, 2011, ProvSec.

Indifferentiable Security Reconsidered : Role of Scheduling

Kazuki Yoneyama, 2012 .

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

Atsushi Fujioka, Kazuki Yoneyama, Koutarou Suzuki, 2012, Des. Codes Cryptogr..

Multi-cast Key Distribution: Scalable, Dynamic and Provably Secure Construction

Kazuki Yoneyama, Yuto Kawahara, Hitoshi Fuji, 2016, ProvSec.

Universally Composable Forward Secure Dynamic Searchable Symmetric Encryption

Kazuki Yoneyama, Toshiya Shibata, 2021, APKC@AsiaCCS.

Verification of Group Key Management of IEEE 802.21 Using ProVerif

Kazuki Yoneyama, Yoshikazu Hanatani, Ryoga Noguchi, 2021, IEICE Transactions on Information and Systems.

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

Kazuki Yoneyama, 2021 .

Adaptive-ID Secure Hierarchical ID-Based Authenticated Key Exchange Under Standard Assumptions Without Random Oracles

Kazuki Yoneyama, Ren Ishibashi, Kazuki Yoneyama, 2021, ACNS.

Extension of Secret Handshake Protocols with Multiple Groups in Monotone Condition

Kazuki Yoneyama, Yutaka Kawai, Kazuo Ohta, 2010 .