Yuta Hira is an author at Okayama University specializing in data security, formal methods, and formal verification.
Top concepts
EngineeringCryptographyVerificationData SecurityFormal MethodsComputer ScienceHardware SecurityFormal Verification
Publications per year
2010–2010
1
1
Revocable Group Signature Schemes with Constant Costs for Signing and Verifying
Toru Nakanishi, Hiroki Fujii, Yuta Hira et al. · IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences · 2010 · 25 citations
Hardware Security, Public Key Algorithm, Cryptographic Primitive +15
Rows per page
1–1 of 1