A practical string analyzer by the widening approach TH Choi, O Lee, H Kim, KG Doh Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney …, 2006 | 66 | 2006 |
Abstract parsing: static analysis of dynamically generated string output using LR-parsing technology KG Doh, H Kim, DA Schmidt International Static Analysis Symposium, 256-272, 2009 | 44 | 2009 |
Abstract LR-parsing KG Doh, H Kim, DA Schmidt Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated …, 2011 | 22 | 2011 |
Applying Dataflow Analysis to Detecting Software Vulnerability H Kim, TH Choi, SC Jung, HC Kim, O Lee, KG Doh 2008 10th International Conference on Advanced Communication Technology 1 …, 2008 | 20 | 2008 |
Static validation of dynamically generated HTML documents based on abstract parsing and semantic processing H Kim, KG Doh, DA Schmidt Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013 | 17 | 2013 |
Rule-Based Source-Code Analysis For Detecting Security Vulnerabilities H Kim, TH Choi, SC Jung, O Lee, KG Doh, SY Lee Proc. of the 10th International Workshop on Information Security Applications, 2009 | 4 | 2009 |
Static command-injection-attack detection based on abstract parsing KG Doh, H Kim, DA Schmidt Technical report, Hanyang University, Kansas State, 2012 | 1 | 2012 |
Static Analysis of Web Accessibility Based on Abstract Parsing H Kim, KG Doh Journal of KIISE 41 (12), 1099-1109, 2014 | | 2014 |