Yoshikazu Hanatani

According to our database, Yoshikazu Hanatani authored at least 14 papers between 2006 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Verification of Group Key Management of IEEE 802.21 Using ProVerif.

Ryoga Noguchi, Yoshikazu Hanatani, Kazuki Yoneyama

IEICE Trans. Inf. Syst., 2021

2019

Non-malleable encryption with proofs of plaintext knowledge and applications to voting.

Ben Smyth, Yoshikazu Hanatani

Int. J. Secur. Networks, 2019

2016

Efficient key encapsulation mechanisms with tight security reductions to standard assumptions in the two security models.

Yoshikazu Hanatani, Goichiro Hanaoka, Takahiro Matsuda, Takashi Yamakawa

Secur. Commun. Networks, 2016

Analyzing and Fixing the QACCE Security of QUIC.

Hideki Sakurada, Kazuki Yoneyama, Yoshikazu Hanatani, Maki Yoshida

Proceedings of the Security Standardisation Research - Third International Conference, 2016

Secure Multicast Group Management and Key Distribution in IEEE 802.21.

Yoshikazu Hanatani, Naoki Ogura, Yoshihiro Ohba, Lidong Chen, Subir Das

Proceedings of the Security Standardisation Research - Third International Conference, 2016

2015

NM-CPA Secure Encryption with Proofs of Plaintext Knowledge.

Ben Smyth, Yoshikazu Hanatani, Hirofumi Muratani

Proceedings of the Advances in Information and Computer Security, 2015

2012

Factor-4 and 6 (De)compression for Values of Pairings using Trace Maps.

Tomoko Yonemura, Taichi Isogai, Hirofumi Muratani, Yoshikazu Hanatani

IACR Cryptol. ePrint Arch., 2012

Secure authenticated key exchange with revocation for smart grid.

Fangming Zhao, Yoshikazu Hanatani, Yuichi Komano, Ben Smyth, Satoshi Ito, Toru Kambayashi

Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2012

2011

Toward Compact Public Key Encryption Based on CDH Assumption via Extended Twin DH Assumption.

Yoshikazu Hanatani, Hirofumi Muratani, Tomoko Yonemura

Proceedings of the Provable Security - 5th International Conference, 2011

A Study on Computational Formal Verification for Practical Cryptographic Protocol: The Case of Synchronous RFID Authentication.

Yoshikazu Hanatani, Miyako Ohkubo, Shin'ichiro Matsuo, Kazuo Sakiyama, Kazuo Ohta

Proceedings of the Financial Cryptography and Data Security, 2011

2010

Robust RFID Authentication Protocol with Formal Proof and Its Feasibility.

Miyako Ohkubo, Shin'ichiro Matsuo, Yoshikazu Hanatani, Kazuo Sakiyama, Kazuo Ohta

IACR Cryptol. ePrint Arch., 2010

Generating Parameters for Algebraic Torus-Based Cryptosystems.

Tomoko Yonemura, Yoshikazu Hanatani, Taichi Isogai, Kenji Ohkuma, Hirofumi Muratani

Proceedings of the Cryptology and Network Security - 9th International Conference, 2010

2007

Provably Secure Untraceable Electronic Cash against Insider Attacks.

Yoshikazu Hanatani, Yuichi Komano, Kazuo Ohta, Noboru Kunihiro

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007

2006

Provably Secure Electronic Cash Based on Blind Multisignature Schemes.

Yoshikazu Hanatani, Yuichi Komano, Kazuo Ohta, Noboru Kunihiro

Proceedings of the Financial Cryptography and Data Security, 2006