4
Publications
180
Citations
4
H-Index
2011
Active since
Affiliations
Hyun Sook Cho is an author at Electronics and Telecommunications Research Institute specializing in engineering, formal verification, and data security.
Top concepts
EngineeringFormal VerificationVerificationData SecurityFormal MethodsComputer ScienceCryptographyData PrivacyInformation SecuritySoftware Testing
Publications per year
2011–2016
4
4
Short Group Signatures with Controllable Linkability
Jung Yeon Hwang, Sokjoon Lee, Byungho Chung et al. · 2011 · 40 citations
Simplified small exponent test for batch verification
Jung Yeon Hwang, Boyeon Song, Daeseon Choi et al. · Theoretical Computer Science · 2016 · 15 citations
Rows per page
1–4 of 4