1
Publications
35
Citations
1
H-Index
2021
Active since
Affiliations
Kangsu Kim is an author at Korea Advanced Institute of Science and Technology specializing in formal methods, hardware security, and system software.
Top concepts
FuzzingEngineeringFormal MethodsBinary AnalysisStatic AnalysisSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingHardware Security
Publications per year
2021–2021
1
1
Rows per page
1–1 of 1