Concepedia

Hideki Sakurada

HS

Statistics

Publications

4

Citations

61

H-Index

4

Active since

2006

Affiliations

NTT (Japan)(Current)

Aichi Institute of Technology

Hideki Sakurada is an author at NTT (Japan) specializing in computer science, engineering, and data security.

Top concepts

EngineeringComputer ScienceData PrivacyData SecurityPrivacyCryptographyCommunicationFormal MethodsData AnonymizationFormal Verification

Publications per year

2006–2015

4

Publications

4

Theorem-proving anonymity of infinite-state systems

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

Engineering, Automated Reasoning, Proof Complexity +8

Semi-automated verification of security proofs of quantum cryptographic protocols

Takahiro Kubota, Yoshihiko Kakutani, Go Kato et al. · Journal of Symbolic Computation · 2015 · 19 citations

Quantum Science, Quantum Cryptography, Quantum Security +8

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

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

Privacy Protection, Engineering, Information Security +17

Probabilistic anonymity via coalgebraic simulations

Ichiro Hasuo, Yoshinobu Kawabe, Hideki Sakurada · Theoretical Computer Science · 2010 · 10 citations

Engineering, Data Anonymization, Data Privacy +9

1–4 of 4