IEICE Trans

Kazuki YONEYAMA

Formal Verification of Fair Exchange Based on Bitcoin Smart Contracts Cheng SHI Kazuki YONEYAMA
Publication: Publication Date: 2022/03/01 Vol. E105-A No. 3 pp. 242-267 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Keyword: formal methods, smart contracts, fairness, ProVerif,
	Summary \| Full Text:PDF(971.9KB)

Verification of Group Key Management of IEEE 802.21 Using ProVerif Ryoga NOGUCHI Yoshikazu HANATANI Kazuki YONEYAMA
Publication: Publication Date: 2021/10/01 Vol. E104-D No. 10 pp. 1533-1543 Type of Manuscript: Special Section PAPER (Special Section on Formal Approaches) Category: Keyword: ProVerif, IEEE 802.21, HEMS, group key management,
	Summary \| Full Text:PDF(727.5KB)

Post-Quantum Variants of ISO/IEC Standards: Compact Chosen Ciphertext Secure Key Encapsulation Mechanism from Isogenies Kazuki YONEYAMA
Publication: Publication Date: 2021/01/01 Vol. E104-A No. 1 pp. 69-78 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Keyword: post-quantum cryptosystems, isogeny-based cryptosystems, CSIDH,
	Summary \| Full Text:PDF(313.2KB)

Password-Based Authenticated Key Exchange without Centralized Trusted Setup Kazuki YONEYAMA
Publication: Publication Date: 2020/10/01 Vol. E103-A No. 10 pp. 1142-1156 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: cryptography Keyword: authenticated key exchange, password, multi-string model, concurrent security,
	Summary \| Full Text:PDF(404.9KB)

Verification of LINE Encryption Version 1.0 Using ProVerif Cheng SHI Kazuki YONEYAMA
Publication: Publication Date: 2019/08/01 Vol. E102-D No. 8 pp. 1439-1448 Type of Manuscript: Special Section PAPER (Special Section on Formal Approaches) Category: Keyword: formal methods, end-to-end encryption, LINE Encryption, ProVerif,
	Summary \| Full Text:PDF(381.5KB)

Exposure-Resilient Identity-Based Dynamic Multi-Cast Key Distribution Kazuki YONEYAMA Reo YOSHIDA Yuto KAWAHARA Tetsutaro KOBAYASHI Hitoshi FUJI Tomohide YAMAMOTO
Publication: Publication Date: 2018/06/01 Vol. E101-A No. 6 pp. 929-944 Type of Manuscript: PAPER Category: Cryptography and Information Security Keyword: multi-cast key distribution, ID-based cryptography, exposure resilience, scalability,
	Summary \| Full Text:PDF(1.3MB)

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
Publication: Publication Date: 2017/12/01 Vol. E100-A No. 12 pp. 2991-3006 Type of Manuscript: PAPER Category: Cryptography and Information Security Keyword: password-based authenticated key exchange (PAKE), threshold cryptography,
	Summary \| Full Text:PDF(2.1MB) \| (Errata[Uploaded on January 1,2018])

On Randomness Exposure Resilience of Group Signatures Tomoyoshi ONO Kazuki YONEYAMA
Publication: Publication Date: 2017/10/01 Vol. E100-D No. 10 pp. 2357-2367 Type of Manuscript: Special Section PAPER (Special Section on Security, Privacy and Anonymity in Computation, Communication and Storage Systems) Category: Privacy, anonymity, and fundamental theory Keyword: group signature, full-anonymity, selfless-anonymity, randomness exposure,
	Summary \| Full Text:PDF(266.9KB)

Computational Soundness of Asymmetric Bilinear Pairing-Based Protocols Kazuki YONEYAMA
Publication: Publication Date: 2017/09/01 Vol. E100-A No. 9 pp. 1794-1803 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: formal methods, computational soundness, asymmetric bilinear pairing,
	Summary \| Full Text:PDF(269.9KB)

Oblivious Polynomial Evaluation in the Exponent, Revisited Naoto ITAKURA Kaoru KUROSAWA Kazuki YONEYAMA
Publication: Publication Date: 2017/01/01 Vol. E100-A No. 1 pp. 26-33 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Keyword: oblivious polynomial evaluation, DDH assumption,
	Summary \| Full Text:PDF(404KB)

Compact Authenticated Key Exchange from Bounded CCA-Secure KEM Kazuki YONEYAMA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2015/01/01 Vol. E98-A No. 1 pp. 132-143 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Public Key Based Cryptography Keyword: authenticated key exchange, key encapsulation mechanism, bounded CCA,
	Summary \| Full Text:PDF(254.4KB)

Exposure-Resilient One-Round Tripartite Key Exchange without Random Oracles Koutarou SUZUKI Kazuki YONEYAMA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2014/06/01 Vol. E97-A No. 6 pp. 1345-1355 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: authenticated key exchange, tripartite key exchange, standard model, dual-receiver encryption,
	Summary \| Full Text:PDF(347.1KB)

Practical and Exposure-Resilient Hierarchical ID-Based Authenticated Key Exchange without Random Oracles Kazuki YONEYAMA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2014/06/01 Vol. E97-A No. 6 pp. 1335-1344 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: authenticated key exchange, hierarchical ID-based authenticated key exchange, exposure-resilience,
	Summary \| Full Text:PDF(251.4KB)

Generic Construction of Two-Party Round-Optimal Attribute-Based Authenticated Key Exchange without Random Oracles Kazuki YONEYAMA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2013/06/01 Vol. E96-A No. 6 pp. 1112-1123 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: authenticated key exchange, attribute-based authenticated key exchange, CK model,
	Summary \| Full Text:PDF(258.6KB)

One-Round Authenticated Key Exchange with Strong Forward Secrecy in the Standard Model against Constrained Adversary Kazuki YONEYAMA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2013/06/01 Vol. E96-A No. 6 pp. 1124-1138 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: authenticated key exchange, strong forward secrecy, signcryption,
	Summary \| Full Text:PDF(302.3KB)

id-eCK Secure ID-Based Authenticated Key Exchange on Symmetric and Asymmetric Pairing Atsushi FUJIOKA Fumitaka HOSHINO Tetsutaro KOBAYASHI Koutarou SUZUKI Berkant USTAOLU Kazuki YONEYAMA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2013/06/01 Vol. E96-A No. 6 pp. 1139-1155 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: identity-based authenticated key exchange, gap Bilinear Diffie-Hellman assumption, identity-based extended Canetti-Krawczyk model, random oracle model,
	Summary \| Full Text:PDF(695.8KB)

Strongly Secure Predicate-Based Authenticated Key Exchange: Definition and Constructions Atsushi FUJIOKA Koutarou SUZUKI Kazuki YONEYAMA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2012/01/01 Vol. E95-A No. 1 pp. 40-56 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Public Key Cryptography Keyword: predicate-based AKE, eCK security, key-policy, session-policy,
	Summary \| Full Text:PDF(493.3KB)

Indifferentiable Security Reconsidered: Role of Scheduling Kazuki YONEYAMA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2012/01/01 Vol. E95-A No. 1 pp. 185-195 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Formal Approach Keyword: indifferentiability, scheduling, nondeterminism, task-PIOA, reducibility,
	Summary \| Full Text:PDF(1.3MB)

Hierarchical ID-Based Authenticated Key Exchange Resilient to Ephemeral Key Leakage Atsushi FUJIOKA Koutarou SUZUKI Kazuki YONEYAMA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2011/06/01 Vol. E94-A No. 6 pp. 1306-1317 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: hierarchical ID-based AKE, eCK security,
	Summary \| Full Text:PDF(406.2KB)

Universally Composable NBAC-Based Fair Voucher Exchange for Mobile Environments Kazuki YONEYAMA Masayuki TERADA Sadayuki HONGO Kazuo OHTA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2011/06/01 Vol. E94-A No. 6 pp. 1263-1273 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: fairness, fair exchange, electronic voucher, universal composability, non-blocking atomic commitment,
	Summary \| Full Text:PDF(419.5KB)

Security of Cryptosystems Using Merkle-Damgård in the Random Oracle Model Yusuke NAITO Kazuki YONEYAMA Lei WANG Kazuo OHTA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2011/01/01 Vol. E94-A No. 1 pp. 57-70 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Public Key Cryptography Keyword: indifferentiability, Merkle-Damgård hash function, variants of random oracle, cryptosystems security,
	Summary \| Full Text:PDF(657.3KB)

Extension of Secret Handshake Protocols with Multiple Groups in Monotone Condition Yutaka KAWAI Shotaro TANNO Takahiro KONDO Kazuki YONEYAMA Kazuo OHTA Noboru KUNIHIRO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2010/06/01 Vol. E93-A No. 6 pp. 1122-1131 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Cryptography and Information Security Keyword: secret handshake with multiple groups, privacy preserving authentication, anonymity, monotone condition,
	Summary \| Full Text:PDF(1.3MB)

Leaky Random Oracle Kazuki YONEYAMA Satoshi MIYAGAWA Kazuo OHTA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2009/08/01 Vol. E92-A No. 8 pp. 1795-1807 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Theory Keyword: hash function, random oracle model, standard model, provable security, leakage,
	Summary \| Full Text:PDF(257.5KB)

Attribute-Based Encryption with Partially Hidden Ciphertext Policies Takashi NISHIDE Kazuki YONEYAMA Kazuo OHTA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2009/01/01 Vol. E92-A No. 1 pp. 22-32 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Public Key Cryptography Keyword: attribute-based encryption, recipient anonymity, access control on encrypted data,
	Summary \| Full Text:PDF(255.5KB)

Does Secure Password-Based Authenticated Key Exchange against Leakage of Internal States Exist? Kazuki YONEYAMA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2009/01/01 Vol. E92-A No. 1 pp. 113-121 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Secure Protocol Keyword: authenticated key exchange, password, leakage of static key, leakage of ephemeral key, 3-party setting,
	Summary \| Full Text:PDF(217.7KB)

Universally Composable Hierarchical Hybrid Authenticated Key Exchange Haruki OTA Kazuki YONEYAMA Shinsaku KIYOMOTO Toshiaki TANAKA Kazuo OHTA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2007/01/01 Vol. E90-A No. 1 pp. 139-151 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Protocols Keyword: password, Diffie-Hellman, authenticated key exchange, universal composability, hierarchical hybrid construction, MAC (Message Authentication Code),
	Summary \| Full Text:PDF(334.6KB)

Visual Secret Sharing Schemes for Multiple Secret Images Allowing the Rotation of Shares Mitsugu IWAMOTO Lei WANG Kazuki YONEYAMA Noboru KUNIHIRO Kazuo OHTA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2006/05/01 Vol. E89-A No. 5 pp. 1382-1395 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: visual secret sharing schemes, visual cryptography, secret sharing schemes, multiple secret images, rotation of shares,
	Summary \| Full Text:PDF(527.7KB)