Concepedia

Ken Mano

KM

Statistics

Publications

3

Citations

46

H-Index

3

Active since

2006

Affiliations

NTT (Japan)(Current)

Aichi Institute of Technology

Ken Mano is an author at NTT (Japan) specializing in data security, engineering, and formal methods.

Top concepts

Publications per year

2006–2010

3

Publications

3

Theorem-proving anonymity of infinite-state systems

Yoshinobu Kawabe, Ken Mano, Hideki Sakurada et al. · Information Processing Letters · 2006 · 20 citations

, , +8

Role Interchange for Anonymity and Privacy of Voting

Ken Mano, Yoshishige Kawabe, Hiroshi Sakurada et al. · Journal of Logic and Computation · 2010 · 14 citations

, , +22

Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach

Yasuyuki Tsukada, Ken Mano, Hideki Sakurada et al. · 2009 · 12 citations

, , +17

1–3 of 3