 | 2011 |
|---|
| 6 |       | 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: 70-87 |
| 5 | | Yoshikazu Hanatani,
Hirofumi Muratani,
Tomoko Yonemura:
Toward Compact Public Key Encryption Based on CDH Assumption via Extended Twin DH Assumption.
ProvSec 2011: 138-153 |
| 2010 |
|---|
| 4 | | Tomoko Yonemura,
Yoshikazu Hanatani,
Taichi Isogai,
Kenji Ohkuma,
Hirofumi Muratani:
Generating Parameters for Algebraic Torus-Based Cryptosystems.
CANS 2010: 156-168 |
| 3 | | Miyako Ohkubo,
Shin'ichiro Matsuo,
Yoshikazu Hanatani,
Kazuo Sakiyama,
Kazuo Ohta:
Robust RFID Authentication Protocol with Formal Proof and Its Feasibility.
IACR Cryptology ePrint Archive 2010: 345 (2010) |
| 2007 |
|---|
| 2 | | Yoshikazu Hanatani,
Yuichi Komano,
Kazuo Ohta,
Noboru Kunihiro:
Provably Secure Untraceable Electronic Cash against Insider Attacks.
IEICE Transactions 90-A(5): 980-991 (2007) |
| 2006 |
|---|
| 1 | | Yoshikazu Hanatani,
Yuichi Komano,
Kazuo Ohta,
Noboru Kunihiro:
Provably Secure Electronic Cash Based on Blind Multisignature Schemes.
Financial Cryptography 2006: 236-250 |
Data released under the ODC-BY 1.0 license — See also our legal information page