Ken Naganuma

KN

2

Publications

24

Citations

2

H-Index

2017

Active since

Affiliations

Ken Naganuma is an author at Hitachi (Japan) specializing in data security, engineering, and formal verification.

Publications per year

2017–2020

2

Publications

2