Yoshikazu Hanatani

Publication Activity (10 Years)

Years Active: 2006-2021
Publications (10 Years): 8

Top Topics

Encryption Algorithm

Knowledge Extraction

Top Venues

IEICE Trans. Inf. Syst.

IACR Cryptol. ePrint Arch.

Secur. Commun. Networks

Publications

Ryoga Noguchi, Yoshikazu Hanatani, Kazuki Yoneyama
Verification of Group Key Management of IEEE 802.21 Using ProVerif. IEICE Trans. Inf. Syst. (10) (2021)
Ryoga Noguchi, Yoshikazu Hanatani, Kazuki Yoneyama
Verification of Group Key Management of IEEE 802.21 using ProVerif. APKC@AsiaCCS (2020)
Ben Smyth, Yoshikazu Hanatani
Non-malleable encryption with proofs of plaintext knowledge and applications to voting. Int. J. Secur. Networks 14 (4) (2019)
Ben Smyth, Yoshikazu Hanatani
Non-malleable encryption with proofs of plaintext knowledge and applications to voting. IACR Cryptol. ePrint Arch. 2019 (2019)
Hideki Sakurada, Kazuki Yoneyama, Yoshikazu Hanatani, Maki Yoshida
Analyzing and Fixing the QACCE Security of QUIC. SSR (2016)
Yoshikazu Hanatani, Goichiro Hanaoka, Takahiro Matsuda, Takashi Yamakawa
Efficient key encapsulation mechanisms with tight security reductions to standard assumptions in the two security models. Secur. Commun. Networks 9 (12) (2016)
Yoshikazu Hanatani, Naoki Ogura, Yoshihiro Ohba, Lidong Chen, Subir Das
Secure Multicast Group Management and Key Distribution in IEEE 802.21. SSR (2016)
Ben Smyth, Yoshikazu Hanatani, Hirofumi Muratani
NM-CPA Secure Encryption with Proofs of Plaintext Knowledge. IWSEC (2015)
Tomoko Yonemura, Taichi Isogai, Hirofumi Muratani, Yoshikazu Hanatani
Factor-4 and 6 (De)Compression for Values of Pairings Using Trace Maps. Pairing (2012)
Tomoko Yonemura, Taichi Isogai, Hirofumi Muratani, Yoshikazu Hanatani
Factor-4 and 6 (De)compression for Values of Pairings using Trace Maps. IACR Cryptol. ePrint Arch. 2012 (2012)
Fangming Zhao, Yoshikazu Hanatani, Yuichi Komano, Ben Smyth, Satoshi Ito, Toru Kambayashi
Secure authenticated key exchange with revocation for smart grid. ISGT (2012)
Yoshikazu Hanatani, Miyako Ohkubo, Shin'ichiro Matsuo, Kazuo Sakiyama, Kazuo Ohta
A Study on Computational Formal Verification for Practical Cryptographic Protocol: The Case of Synchronous RFID Authentication. Financial Cryptography Workshops (2011)
Yoshikazu Hanatani, Hirofumi Muratani, Tomoko Yonemura
Toward Compact Public Key Encryption Based on CDH Assumption via Extended Twin DH Assumption. ProvSec (2011)
Tomoko Yonemura, Yoshikazu Hanatani, Taichi Isogai, Kenji Ohkuma, Hirofumi Muratani
Generating Parameters for Algebraic Torus-Based Cryptosystems. CANS (2010)
Miyako Ohkubo, Shin'ichiro Matsuo, Yoshikazu Hanatani, Kazuo Sakiyama, Kazuo Ohta
Robust RFID Authentication Protocol with Formal Proof and Its Feasibility. IACR Cryptol. ePrint Arch. 2010 (2010)
Yoshikazu Hanatani, Yuichi Komano, Kazuo Ohta, Noboru Kunihiro
Provably Secure Untraceable Electronic Cash against Insider Attacks. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (5) (2007)
Yoshikazu Hanatani, Yuichi Komano, Kazuo Ohta, Noboru Kunihiro
Provably Secure Electronic Cash Based on Blind Multisignature Schemes. Financial Cryptography (2006)