|
| Kazuki YONEYAMA
|
FOREWORD
Kazuki YONEYAMA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2025/09/01
Vol. E108-A
No. 9
pp. 1083-1083
Type of Manuscript:
FOREWORD
Category:
Keyword:
| | | Summary | Full Text:PDF | |
| |
|
|
Post-Quantum Anonymous One-Sided Authenticated Key Exchange without Random Oracles
Ren ISHIBASHI Kazuki YONEYAMA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2023/09/01
Vol. E106-A
No. 9
pp. 1141-1163
Type of Manuscript:
Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: Cryptography and Information Security
Keyword:
authenticated key exchange, one-sided secure, anonymity, post-quantum, isogenies, | | | Summary | Full Text:PDF | |
| |
|
|
Formal Verification of Fair Exchange Based on Bitcoin Smart Contracts
Cheng SHI Kazuki YONEYAMA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
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 | |
| |
|
|
Post-Quantum Variants of ISO/IEC Standards: Compact Chosen Ciphertext Secure Key Encapsulation Mechanism from Isogenies
Kazuki YONEYAMA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
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 | |
|
Password-Based Authenticated Key Exchange without Centralized Trusted Setup
Kazuki YONEYAMA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
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 | |
| |
|
| |
|
| |
|
|
On Randomness Exposure Resilience of Group Signatures
Tomoyoshi ONO Kazuki YONEYAMA | Publication: IEICE TRANSACTIONS on Information and Systems
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 | |
|
Computational Soundness of Asymmetric Bilinear Pairing-Based Protocols
Kazuki YONEYAMA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
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 | |
| |
|
|
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 | |
| |
|
| |
|
|
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 | |
|
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 | |
| |
|
| |
|
|
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 | |
| |
|
|
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 | |
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
LU