1 |
研究論文(国際会議プロシーディングス)
|
単著
|
Post-Quantum Variants of ISO/IEC Standards: Compact Chosen Ciphertext Secure Key Encapsulation Mechanism from Isogeny
|
Kazuki Yoneyama
|
SSR 2019
|
|
|
2019/11
|
|
|
|
|
2 |
研究論文(国際会議プロシーディングス)
|
共著
|
Password-based Authenticated Key Exchange from Standard Isogeny Assumptions
|
Shintaro Terada, Kazuki Yoneyama
|
ProvSec 2019
|
|
41-56
|
2019/10
|
|
|
|
|
3 |
研究論文(国際会議プロシーディングス)
|
共著
|
One-Round Authenticated Group Key Exchange from Isogenies
|
Atsushi Fujioka, Katsuyuki Takashima, Kazuki Yoneyama
|
ProvSec 2019
|
|
330-338
|
2019/10
|
|
|
|
|
4 |
研究論文(学術雑誌)
|
共著
|
Verification of LINE Encryption Version 1.0 using ProVerif
|
Cheng Shi, Kazuki Yoneyama
|
IEICE Trans. on Information and Systems
|
|
102/ 8, 1439-1448
|
2019/08
|
|
|
|
|
5 |
研究論文(国際会議プロシーディングス)
|
共著
|
One-Round Authenticated Group Key Exchange from Isogenies
|
Atsushi Fujioka, Katsuyuki Takashima, Kazuki Yoneyama
|
ICIAM 2019
|
|
|
2019/07
|
|
|
|
|
6 |
研究論文(国際会議プロシーディングス)
|
共著
|
Supersingular Isogeny Diffie-Hellman Authenticated Key Exchange
|
Atsushi Fujioka, Katsuyuki Takashima, Shintaro Terada, Kazuki Yoneyama
|
ICISC 2018
|
|
177-195
|
2018/12
|
|
|
|
|
7 |
研究論文(国際会議プロシーディングス)
|
共著
|
On Hiding Access Timings in ORAM
|
Yuma Kanai, Kazuki Yoneyama
|
ISITA 2018
|
|
516-519
|
2018/10
|
|
|
|
|
8 |
研究論文(国際会議プロシーディングス)
|
共著
|
Improved Verifiable Delegated Private Set Intersection
|
Shintaro Terada, Kazuki Yoneyama
|
ISITA 2018
|
|
520-524
|
2018/10
|
|
|
|
|
9 |
研究論文(国際会議プロシーディングス)
|
共著
|
Single Private-Key Generator Security Implies Multiple Private-Key Generators Security
|
Atsushi Fujioka, Kazuki Yoneyama
|
ProvSec 2018
|
|
56-74
|
2018/10
|
|
|
|
|
10 |
研究論文(学術雑誌)
|
共著
|
Multi-cast key distribution: scalable, dynamic and provably secure construction
|
Kazuki Yoneyama, Reo Yoshida, Yuto Kawahara, Tetsutaro Kobayashi, Hitoshi Fuji, Tomohide Yamamoto
|
International Journal of Information Security
|
|
17/ 5, 513-532
|
2018/10
|
|
|
|
|
11 |
研究論文(国際会議プロシーディングス)
|
共著
|
Verification of LINE Encryption Version 1.0 using ProVerif
|
Cheng Shi, Kazuki Yoneyama
|
IWSEC 2018
|
|
158-173
|
2018/09
|
|
|
|
|
12 |
研究論文(学術雑誌)
|
共著
|
Exposure-Resilient Identity-Based Dynamic Multi-Cast Key Distribution
|
Kazuki Yoneyama, Reo Yoshida, Yuto Kawahara, Tetsutaro Kobayashi, Hitoshi Fuji, Tomohide Yamamoto
|
IEICE Trans. on Fundamentals
|
|
101/ 6, 929-944
|
2018/06
|
|
|
|
|
13 |
研究論文(学術雑誌)
|
共著
|
Accumulable optimistic fair exchange from verifiably encrypted homomorphic signatures
|
Jae Hong Seo, Keita Emura, Keita Xagawa, Kazuki Yoneyama
|
International Journal of Information Security
|
|
17/ 2, 193-220
|
2018/03
|
|
|
|
|
14 |
研究論文(学術雑誌)
|
単著
|
Formal Modeling of Random Oracle Programmability and Verification of Signature Unforgeability Using Task-PIOAs
|
Kazuki Yoneyama
|
International Journal of Information Security
|
|
17/ 1, 43-66
|
2018/02
|
|
|
|
|
15 |
研究論文(国際会議プロシーディングス)
|
共著
|
Verifiable and Forward Secure Dynamic Searchable Symmetric Encryption with Storage Efficiency
|
Kazuki Yoneyama, Shogo Kimura
|
ICICS 2017
|
|
489-501
|
2017/12
|
|
|
|
|
16 |
研究論文(学術雑誌)
|
共著
|
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. on Fundamentals
|
|
100/ 12, 2991-3006
|
2017/12
|
|
|
|
|
17 |
研究論文(学術雑誌)
|
共著
|
Compact public key encryption without full random oracles
|
Kazuki Yoneyama, Goichiro Hanaoka
|
Pervasive and Mobile Computing
|
|
41, 286-299
|
2017/10
|
|
|
|
|
18 |
研究論文(学術雑誌)
|
共著
|
On Randomness Exposure Resilience of Group Signatures
|
Tomoyoshi Ono, Kazuki Yoneyama
|
IEICE Trans. on Information and Systems
|
|
100/ 10, 2357-2667
|
2017/10
|
|
|
|
|
19 |
研究論文(学術雑誌)
|
単著
|
Computational Soundness of Asymmetric Bilinear Pairing-based Protocols
|
Kazuki Yoneyama
|
IEICE Trans. on Fundamentals
|
|
100/ 9, 1794-1803
|
2017/09
|
|
|
|
|
20 |
研究論文(学術雑誌)
|
共著
|
Oblivious Polynomial Evaluation in the Exponent, Revisited
|
Naoto Itakura, Kaoru Kurosawa, Kazuki Yoneyama
|
IEICE Trans. on Fundamentals
|
|
100/ 1, 26-33
|
2017/01
|
|
|
|
|
21 |
研究論文(国際会議プロシーディングス)
|
共著
|
Analyzing and Fixing the QACCE security of QUIC
|
Hideki Sakurada, Kazuki Yoneyama, Yoshikazu Hanatani, Maki Yoshida
|
SSR 2016
|
|
1-31
|
2016/12
|
|
|
|
|
22 |
研究論文(国際会議プロシーディングス)
|
共著
|
Multi-Cast Key Distribution: Scalable, Dynamic and Provably Secure Construction
|
Kazuki Yoneyama, Reo Yoshida, Yuto Kawahara, Tetsutaro Kobayashi, Hitoshi Fuji, Tomohide Yamamoto
|
ProvSec 2016
|
|
207-226
|
2016/11
|
|
|
|
|
23 |
研究論文(国際会議プロシーディングス)
|
共著
|
Security Proof of Identity-based Signature under RSA Assumption, Reconsidered
|
Shogo Kimura, Kazuki Yoneyama
|
ISITA 2016
|
|
86-90
|
2016/10
|
|
|
|
|
24 |
研究論文(国際会議プロシーディングス)
|
共著
|
UC-Secure Dynamic Searchable Symmetric Encryption Scheme
|
Kaoru Kurosawa, Keisuke Sasaki, Kiyohiko Ohta, Kazuki Yoneyama
|
IWSEC 2016
|
|
73-90
|
2016/09
|
|
|
|
|
25 |
研究論文(学術雑誌)
|
単著
|
One-Round Authenticated Key Exchange without Implementation Tricks
|
Kazuki Yoneyama
|
Journal of Information Processing
|
|
24, 9-19
|
2016/01
|
|
|
|
|
26 |
研究論文(学術雑誌)
|
共著
|
Strongly Secure Authenticated Key Exchange from Factoring, Codes, and Lattices
|
Atsushi Fujioka, Koutarou Suzuki, Keita Xagawa, Kazuki Yoneyama
|
Designs, Codes and Cryptography
|
|
76/ 3, 469-504
|
2015/09
|
|
|
|
|
27 |
(MISC)総説・解説(国際会議プロシーディングズ)
|
共著
|
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
|
SECRYPT 2015
|
|
|
2015/07
|
|
|
|
|
28 |
(MISC)総説・解説(国際会議プロシーディングズ)
|
共著
|
Accumulable Optimistic Fair Exchange from Verifiably Encrypted Homomorphic Signatures
|
Jae Hong Seo, Keita Emura, Keita Xagawa, Kazuki Yoneyama
|
ACNS 2015
|
|
|
2015/06
|
|
|
|
|
29 |
研究論文(学術雑誌)
|
単著
|
Compact Authenticated Key Exchange from Bounded CCA-Secure KEM
|
Kazuki Yoneyama
|
IEICE Trans. on Fundamentals
|
|
98.A/ 1, 132-143
|
2015/01
|
|
|
|
|
30 |
(MISC)総説・解説(国際会議プロシーディングズ)
|
単著
|
Formal Modeling of Random Oracle Programmability and Verification of Signature Unforgeability Using Task-PIOAs
|
Kazuki Yoneyama
|
ICISC 2014
|
|
|
2014/12
|
|
|
|
|
31 |
(MISC)総説・解説(国際会議プロシーディングズ)
|
単著
|
Computational Soundness of Asymmetric Bilinear Pairing-based Protocols
|
Kazuki Yoneyama
|
ProvSec 2014
|
|
|
2014/10
|
|
|
|
|
32 |
(MISC)総説・解説(国際会議プロシーディングズ)
|
共著
|
Compact Public Key Encryption with Minimum Ideal Property of Hash Functions
|
Kazuki Yoneyama, Goichiro Hanaoka
|
ProvSec 2014
|
|
|
2014/10
|
|
|
|
|
33 |
(MISC)総説・解説(国際会議プロシーディングズ)
|
共著
|
Converting PKI-based Authenticated Key Exchange to Identity-based
|
Koutarou Suzuki, Kazuki Yoneyama
|
CANS 2014
|
|
|
2014/10
|
|
|
|
|
34 |
(MISC)総説・解説(国際会議プロシーディングズ)
|
共著
|
Secure Multi-party Computation for Elliptic Curves
|
Koutarou Suzuki, Kazuki Yoneyama
|
IWSEC 2014
|
|
|
2014/08
|
|
|
|
|
35 |
(MISC)総説・解説(国際会議プロシーディングズ)
|
共著
|
Reset Indifferentiability from Weakened Random Oracle Salvages One-pass Hash Functions
|
Yusuke Naito, Kazuki Yoneyama, Kazuo Ohta
|
ACNS 2014
|
|
|
2014/06
|
|
|
|
|
36 |
(MISC)総説・解説(国際会議プロシーディングズ)
|
単著
|
Password-based Authenticated Key Exchange without Centralized Trusted Setup
|
Kazuki Yoneyama
|
ACNS 2014
|
|
|
2014/06
|
|
|
|
|
37 |
(MISC)総説・解説(国際会議プロシーディングズ)
|
共著
|
Constant Rounds Almost Linear Complexity Multi-party Computation for Prefix Sum
|
Kazuma Ohara, Kazuo Ohta, Koutarou Suzuki, Kazuki Yoneyama
|
Africacrypt 2014
|
|
|
2014/05
|
|
|
|
|