1
Publications
21
Citations
1
H-Index
2011
Active since
Affiliations
Kiyoshi Yamada is an author at National Institute of Advanced Industrial Science and Technology specializing in data security, verification, and formal verification.
Top concepts
EngineeringCryptographyVerificationData SecurityFormal MethodsComputer ScienceFormal VerificationSystems EngineeringInformation Security
Publications per year
2011–2011
1
1
Rows per page
1–1 of 1