Verification of LINE Encryption Version 1.0 Using ProVerif
SHI, Cheng, YONEYAMA, Kazuki
Published in IEICE Transactions on Information and Systems (01.08.2019)
Published in IEICE Transactions on Information and Systems (01.08.2019)
Get full text
Journal Article
Verification of Group Key Management of IEEE 802.21 Using ProVerif
NOGUCHI, Ryoga, HANATANI, Yoshikazu, YONEYAMA, Kazuki
Published in IEICE Transactions on Information and Systems (01.10.2021)
Published in IEICE Transactions on Information and Systems (01.10.2021)
Get full text
Journal Article
Strongly secure authenticated key exchange from factoring, codes, and lattices
Fujioka, Atsushi, Suzuki, Koutarou, Xagawa, Keita, Yoneyama, Kazuki
Published in Designs, codes, and cryptography (01.09.2015)
Published in Designs, codes, and cryptography (01.09.2015)
Get full text
Journal Article
On Randomness Exposure Resilience of Group Signatures
ONO, Tomoyoshi, YONEYAMA, Kazuki
Published in IEICE Transactions on Information and Systems (01.01.2017)
Published in IEICE Transactions on Information and Systems (01.01.2017)
Get full text
Journal Article
Analyzing and Fixing the QACCE Security of QUIC
Sakurada, Hideki, Yoneyama, Kazuki, Hanatani, Yoshikazu, Yoshida, Maki
Published in Security Standardisation Research (01.01.2016)
Published in Security Standardisation Research (01.01.2016)
Get full text
Book Chapter