2
Publications
59
Citations
2
H-Index
2005
Active since
Affiliations
University of Wisconsin–Madison(Current)
Wen-Han Goh is an author at University of Wisconsin–Madison specializing in formal methods, hardware security, and system software.
Top concepts
EngineeringFormal MethodsStatic AnalysisSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisFormal Verification
Publications per year
2005–2005
2
2
String analysis for x86 binaries
Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh · 2005 · 24 citations
Rows per page
1–2 of 2